Comparing globular complex and flow

Abstract

A functor is constructed from the category of globular CW-complexes to that of flows. It allows the comparison of the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, it is proved that this functor induces an equivalence of categories from the localization of the category of globular CW-complexes with respect to S-homotopy equivalences to the localization of the category of flows with respect to weak S-homotopy equivalences. As an application, we construct the underlying homotopy type of a flow.

54 pages ; 3 figures ; Second paper corresponding to the content of math.AT/0201252 ; v2 : very minor changes ; v3 : final version

References in corpus (2)

• The branching nerve of HDA and the Kan condition
• Concurrent Process up to Homotopy (I)

Cited by in corpus (6)

• T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
• Inverting weak dihomotopy equivalence using homotopy continuous flow
• T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies
• Homotopy theory of Moore flows (I)
• Globular realization and cubical underlying homotopy type of time flow of process algebra
• Abstract homotopical methods for theoretical computer science