 

Philippe Gaucher
Comparing globular complex and flow


Published: 
April 12, 2005

Keywords: 
concurrency, homotopy, homotopy limit, directed homotopy, homology, compactly generated topological space, cofibrantly generated model category, NDR pair, Hurewicz fibration 
Subject: 
55P99, 55U99, 68Q85 


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


Author information
Preuves Programmes et Systèmes, Université Paris 7Denis Diderot, Case 7014, 2 Place Jussieu, 75251 PARIS Cedex 05, France
gaucher@pps.jussieu.fr
http://www.pps.jussieu.fr/~gaucher/

