Automate parallèle à homotopie près (II)

One proves that the category of globular CW-complexes up to dihomotopy is equivalent to the category of flows up to weak dihomotopy. This theorem generalizes the classical theorem which states that the category of CW-complexes up to homotopy is equivalent to the category of topological spaces up to weak homotopy. To cite this article: P. Gaucher, C. R. Acad. Sci. Paris, Ser. I 336 (2003).