HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Directed Homology Theories and Eilenberg-Steenrod Axioms

Abstract : In this paper, we define and study a homology theory, that we call “natural homology”, which associates a natural system of abelian groups to every space in a large class of directed spaces and precubical sets. We show that this homology theory enjoys many important properties, as an invariant for directed homotopy. Among its properties, we show that subdivided precubical sets have the same homology type as the original ones ; similarly, the natural homology of a precubical set is of the same type as the natural homology of its geometric realization. By same type we mean equivalent up to some form of bisimulation, that we define using the notion of open map. Last but not least, natural homology, for the class of spaces we consider, exhibits very important properties such as Hurewicz theorems, and most of Eilenberg-Steenrod axioms, in particular the dimension, homotopy, additivity and exactness axioms. This last axiom is studied in a general framework of (generalized) exact sequences.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03189639
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Wednesday, June 9, 2021 - 5:05:48 PM
Last modification on : Wednesday, June 9, 2021 - 5:16:42 PM
Long-term archiving on: : Friday, September 10, 2021 - 7:05:11 PM

File

apcs2-hal.pdf
Files produced by the author(s)

Identifiers

Citation

Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq. Directed Homology Theories and Eilenberg-Steenrod Axioms. Applied Categorical Structures, Springer Verlag (Germany), 2017, 25 (5), pp.775-807. ⟨10.1007/s10485-016-9438-y⟩. ⟨hal-03189639⟩

Share

Metrics

Record views

40

Files downloads

67