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

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


Files produced by the author(s)



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⟩



Record views


Files downloads