Directed Homology Theories and Eilenberg-Steenrod Axioms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Applied Categorical Structures Year : 2017

Directed Homology Theories and Eilenberg-Steenrod Axioms


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.
Fichier principal
Vignette du fichier
apcs2-hal.pdf (448.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03189639 , version 1 (09-06-2021)



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



Gmail Facebook Twitter LinkedIn More