T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type
From MaRDI portal
Publication:851539
zbMath1110.55011arXivmath/0505331MaRDI QIDQ851539
Publication date: 21 November 2006
Published in: The New York Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0505331
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Homotopy theory (55P99) Abstract and axiomatic homotopy theory in algebraic topology (55U35)
Related Items (4)
Left properness of flows ⋮ Comparing cubical and globular directed paths ⋮ \(T\)-homotopy and refinement of observation. II: Adding new \(T\)-homotopy equivalences ⋮ Homotopy theory of Moore flows (II)
This page was built for publication: T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type