arXiv Analytics

Sign in

arXiv:math/0305169 [math.AT]AbstractReferencesReviewsResources

Homological properties of non-deterministic branchings and mergings in higher dimensional automata

Philippe Gaucher

Published 2003-05-12, updated 2005-05-16Version 4

The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy invariant and that higher dimensional branchings (resp. mergings) satisfy a long exact sequence.

Comments: 24 pages and 6 figures ; cf http://www.emis.de/journals/HHA/
Journal: Homology Homotopy and Applications, vol. 7 (1):p.51-76, 2005
Categories: math.AT, math.CT
Subjects: 55P99, 55N35, 68Q85
Related articles: Most relevant | Search more
arXiv:2006.05797 [math.AT] (Published 2020-06-10)
Strictifying and taming directed paths in Higher Dimensional Automata
arXiv:0808.1667 [math.AT] (Published 2008-08-12, updated 2009-11-17)
Combinatorics of labelling in higher dimensional automata
arXiv:math/0701552 [math.AT] (Published 2007-01-19, updated 2008-05-15)
Towards a homotopy theory of process algebra

Links

Toolbox