@article{CTGDC_2003__44_4_281_0, author = {Grandis, Marco}, title = {Directed homotopy theory, {I}}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, pages = {281--316}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {44}, number = {4}, year = {2003}, mrnumber = {2030049}, zbl = {1059.55009}, language = {en}, url = {http://www.numdam.org/item/CTGDC_2003__44_4_281_0/} }
TY - JOUR AU - Grandis, Marco TI - Directed homotopy theory, I JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2003 SP - 281 EP - 316 VL - 44 IS - 4 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://www.numdam.org/item/CTGDC_2003__44_4_281_0/ LA - en ID - CTGDC_2003__44_4_281_0 ER -
Grandis, Marco. Directed homotopy theory, I. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 44 (2003) no. 4, pp. 281-316. http://www.numdam.org/item/CTGDC_2003__44_4_281_0/
[1] Handbook of categorical algebra 1-3, Cambridge University Press, Cambridge 1994. | MR | Zbl
,[2] Topologie générale, Ch. 10, Hermann, Paris 1961.
,[3] Topology, Ellis Horwood, Chichester 1988. | MR | Zbl
,[4] J. Higgins, On the algebra of cubes, J. Pure Appl. Algebra 21 (1981), 233-260. | MR | Zbl
- P.[5] Simplicial homotopy theory, Adv. Math. 6 (1971), 107-209. | MR | Zbl
,[6] Algebraic topology and concurrency, Preprint 1999. | MR
- - ,[7] Homotopy invariants of higher dimensional categories and concurrency in computer science, Math. Struct. in Comp. Science 10 (2000), 481-524. | MR | Zbl
,[9] Topological deformation of higher dimensional automata, Preprint 2001. http://arXiv.org/abs/math.AT/0107060
- ,[9] Geometry and concurrency: a user's guide, in: Geometry and concurrency, Math. Structures Comput. Sci. 10 (2000), no. 4, pp. 411-425. | MR | Zbl
,[10] Cubical homotopical algebra and cochain algebras, Ann. Mat. Pura Appl. 170 (1996) 147-186. | MR | Zbl
,[11] Categorically algebraic foundations for homotopical algebra, Appl. Categ. Structures 5 (1997), 363-413. | MR | Zbl
,[12] Higher fundamental functors for simplicial sets, Cahiers Topologie Géom. Diff. Catég. 42 (2001), 101-136. | EuDML | Numdam | MR | Zbl
,[13] Ordinary and directed combinatorial homotopy, applied to image analysis and concurrency, Preprint 2001. http://www.dima.unige.it/~grandis/ | MR | Zbl
,[14] Directed homotopy theory, II. Homotopy constructs, Dip. Mat. Univ. Genova, Preprint 446 (2001). http: / /www. dima. unige. it /-grandis / | MR | Zbl
,[15] T. Porter, Abstract homotopy and simple homotopy theory, World Scientific Publishing Co., River Edge, NJ 1997. | MR | Zbl
-[16] Abstract homotopy, II, Proc. Nat. Acad. Sci. U.S.A. 42 (1956), 255-258. | MR | Zbl
,[17] Bitopological spaces, Proc. London Math. Soc. 13 (1963), 71-89. | MR | Zbl
,[18] Metric spaces, generalized logic and closed categories, Rend-Sem. Mat. Fis. Univ. Milano 43 (1974), 135-166. | MR | Zbl
,[19] Categories for the working mathematician, Springer, Berlin 1971. | MR | Zbl
,[20] Simplicial objects in algebraic topology, Van Nostrand, Princeton 1967. | MR | Zbl
,[21] Local compactness and Cartesian products of quotient maps and k-spaces, Ann. Inst. Fourier (Grenoble) 18, 2 (1968), 281-286. | EuDML | Numdam | MR | Zbl
,[22] Higher dimensional automata revisited, Math. Struct. in Comp. Science 10 (2000), 525-548. | MR | Zbl
,[23] Homotopical algebra, Lecture Notes in Mathematics 43, Springer, Berlin 1967. | MR | Zbl
,[24] Elements of homotopy theory, Springer, Berlin 1978. | MR | Zbl
,