[Concurrent process up to homotopy (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.
On démontre que la catégorie des CW-complexes globulaires à dihomotopie près est équivalente à la catégorie des flots à dihomotopie faible près. Ce théorème est une généralisation du théorème classique disant que la catégorie des CW-complexes modulo homotopie est équivalente à la catégorie des espaces topologiques modulo homotopie faible.
Accepted:
Published online:
Philippe Gaucher 1
@article{CRMATH_2003__336_8_647_0, author = {Philippe Gaucher}, title = {Automate parall\`ele \`a homotopie pr\`es {(II)}}, journal = {Comptes Rendus. Math\'ematique}, pages = {647--650}, publisher = {Elsevier}, volume = {336}, number = {8}, year = {2003}, doi = {10.1016/S1631-073X(03)00119-5}, language = {fr}, }
Philippe Gaucher. Automate parallèle à homotopie près (II). Comptes Rendus. Mathématique, Volume 336 (2003) no. 8, pp. 647-650. doi : 10.1016/S1631-073X(03)00119-5. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/S1631-073X(03)00119-5/
[1] A convenient category for the homotopy theory of concurrency (2002) | arXiv
[2] P. Gaucher, Automate parallèle à homotopie près (I), Projet de note aux C. R. Acad. Sci. Paris, 2002
[3] Topological deformation of higher dimensional automata (2001 à paraître dans Homology, Homotopy and Applications) | arXiv
[4] P.S. Hirschhorn, Localization of model categories, October 2001, available at http://www-math.mit.edu/~psh/
[5] L.G. Lewis, The stable category and generalized thom spectra, Ph.D. thesis, University of Chicago, 1978
[6] A convenient category of topological spaces, Michigan Math. J., Volume 14 (1967), pp. 133-152
[7] Elements of Homotopy Theory, Springer-Verlag, New York, 1978
Cited by Sources:
Comments - Policy