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

Philippe Gaucher

doi:10.1016/S1631-073X(03)00119-5

Topologie/Informatique théorique

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

Présenté par : Jean-Louis Koszul

Philippe Gaucher ¹

¹ Institut de recherche mathématique avancée, ULP et CNRS, 7, rue René Descartes, 67084 Strasbourg cedex, France

Comptes Rendus. Mathématique, Volume 336 (2003) no. 8, pp. 647-650.

Résumé
Abstract

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.

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.

Reçu le : 2002-07-12
Accepté le : 2002-12-02
Publié le : 2003-04-15

DOI : 10.1016/S1631-073X(03)00119-5

Affiliations des auteurs :

Philippe Gaucher ¹

¹ Institut de recherche mathématique avancée, ULP et CNRS, 7, rue René Descartes, 67084 Strasbourg cedex, France

@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},
}

TY  - JOUR
AU  - Philippe Gaucher
TI  - Automate parallèle à homotopie près (II)
JO  - Comptes Rendus. Mathématique
PY  - 2003
SP  - 647
EP  - 650
VL  - 336
IS  - 8
PB  - Elsevier
DO  - 10.1016/S1631-073X(03)00119-5
LA  - fr
ID  - CRMATH_2003__336_8_647_0
ER  -

%0 Journal Article
%A Philippe Gaucher
%T Automate parallèle à homotopie près (II)
%J Comptes Rendus. Mathématique
%D 2003
%P 647-650
%V 336
%N 8
%I Elsevier
%R 10.1016/S1631-073X(03)00119-5
%G fr
%F CRMATH_2003__336_8_647_0

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/

Bibliographie
Cité par

[1] P. Gaucher 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] P. Gaucher; E. Goubault 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] N.E. Steenrod A convenient category of topological spaces, Michigan Math. J., Volume 14 (1967), pp. 133-152

[7] G.W. Whitehead Elements of Homotopy Theory, Springer-Verlag, New York, 1978

Cité par Sources :

Commentaires - Politique