T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type

Abstract

This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this fourth part, it is proved that the generalized T-homotopy equivalences preserve the underlying homotopy type of a flow. The proof is based on Reedy model category techniques.

33 pages ; 2 figures ; see http://nyjm.albany.edu:8000/j/2006/Vol12.htm

References in corpus (2)

• Comparing globular complex and flow
• Inverting weak dihomotopy equivalence using homotopy continuous flow

Cited by in corpus (7)

• T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies
• Homotopy theory of Moore flows (I)
• Homotopy theory of Moore flows (II)
• Globular realization and cubical underlying homotopy type of time flow of process algebra
• Comparing cubical and globular directed paths
• Homotopy theory of Moore flows (III)
• Abstract homotopical methods for theoretical computer science