Geodesic
The branching nerve of HDA and the Kan condition
Theory and applications of categories, Tome 11 (2003), pp. 75-106.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

One can associate to any strict globular $\omega$-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular $\omega$-category is freely generated by a precubical set, then the corresponding homology theories contain different informations about the geometry of the higher dimensional automaton modeled by the precubical set. Adding inverses in this $\omega$-category to any morphism of dimension greater than 2 and with respect to any composition laws of dimension greater than 1 does not change these homology theories. In such a framework, the globular nerve always satisfies the Kan condition. On the other hand, both branching and merging nerves never satisfy it, except in some very particular and uninteresting situations. In this paper, we introduce two new nerves (the branching and merging semi-globular nerves) satisfying the Kan condition and having conjecturally the same simplicial homology as the branching and merging semi-cubical nerves respectively in such framework. The latter conjecture is related to the thin elements conjecture already introduced in our previous papers.
Classification : 55U10, 18G35, 68Q85
Keywords: cubical set, thin element, Kan complex, branching, higher dimensional automata, concurrency, homology theory 
@article{TAC_2003_11_a2,
     author = {Philippe Gaucher},
     title = {The branching nerve of {HDA} and the {Kan} condition},
     journal = {Theory and applications of categories},
     pages = {75--106},
     publisher = {mathdoc},
     volume = {11},
     year = {2003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2003_11_a2/}
}
TY  - JOUR
AU  - Philippe Gaucher
TI  - The branching nerve of HDA and the Kan condition
JO  - Theory and applications of categories
PY  - 2003
SP  - 75
EP  - 106
VL  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2003_11_a2/
LA  - en
ID  - TAC_2003_11_a2
ER  - 
%0 Journal Article
%A Philippe Gaucher
%T The branching nerve of HDA and the Kan condition
%J Theory and applications of categories
%D 2003
%P 75-106
%V 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2003_11_a2/
%G en
%F TAC_2003_11_a2
Philippe Gaucher. The branching nerve of HDA and the Kan condition. Theory and applications of categories, Tome 11 (2003), pp. 75-106. http://geodesic.mathdoc.fr/item/TAC_2003_11_a2/