Lax 2-categories and directed homotopy
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006) no. 2, pp. 107-128. 
@article{CTGDC_2006__47_2_107_0,
     author = {Grandis, Marco},
     title = {Lax $2$-categories and directed homotopy},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {107--128},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {47},
     number = {2},
     year = {2006},
     mrnumber = {2248226},
     zbl = {1170.18301},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_2006__47_2_107_0/}
}
TY  - JOUR
AU  - Grandis, Marco
TI  - Lax $2$-categories and directed homotopy
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 2006
SP  - 107
EP  - 128
VL  - 47
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_2006__47_2_107_0/
LA  - en
ID  - CTGDC_2006__47_2_107_0
ER  - 
%0 Journal Article
%A Grandis, Marco
%T Lax $2$-categories and directed homotopy
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2006
%P 107-128
%V 47
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_2006__47_2_107_0/
%G en
%F CTGDC_2006__47_2_107_0
Grandis, Marco. Lax $2$-categories and directed homotopy. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 47 (2006) no. 2, pp. 107-128. http://www.numdam.org/item/CTGDC_2006__47_2_107_0/

[1] A. Bauer - L. Birkedal - D.S. Scott, Equilogical spaces, Theoretical Computer Science 315 (2004), 35-59. | MR | Zbl

[2] J. Bénabou, Introduction to bicategories, in: Reports of the Midwest Category Seminar, Lecture Notes in Mathematics, Vol. 47, Springer, Berlin 1967, pp. 1-77. | MR

[3] F. Borceux, Handbook of categorical algebra, Vol. 1, Cambridge University Press, Cambridge 1994. | Zbl

[4] M.C. Bunge, Coherent extensions and relational algebras, Trans. Amer. Math. Soc. 197 (1974), 355-390. | MR | Zbl

[5] A. Burroni, T-categories, Cah. Topol. Géom. Différ. 12 (1971), 215-321. | Numdam | Zbl

[6] E. Cheng - A. Lauda, Higher-dimensional categories: an illustrated guide book, draft version, revised 2004. http://www.math.uchicago.edu/-eugenia/guidebook/index.html

[7] C. Ehresmann, Catégories structurées, Ann. Sci. Ecole Norm. Sup. 80 (1963), 349-425. | Numdam | MR | Zbl

[8] C. Ehresmann, Catégories et structures, Dunod, Paris 1965. | MR | Zbl

[9] L. Fajstrup, M. Raussen, E. Goubault, E. Haucourt, Components of the fundamental category, Appl. Categ. Structures 12 (2004), 81-108. | MR | Zbl

[10] E. Goubault, Geometry and concurrency: a user's guide, in: Geometry and concurrency, Math. Structures Comput. Sci. 10 (2000), no. 4, pp. 411-425. | MR | Zbl

[11] M. Grandis, Directed homotopy theory, I. The fundamental category, Cah. Topol. Géom. Différ. Catég. 44 (2003), 281-316. | Numdam | MR | Zbl

[12] M. Grandis, Directed combinatorial homology and noncommutative tori (The breaking of symmetries in algebraic topology), Math. Proc. Cambridge Philos. Soc. 138 (2005), 233-262. | MR | Zbl

[13] M. Grandis, Inequilogical spaces, directed homology and noncommutative geometry, Homology Homotopy Appl. 6 (2004), 413-437. | MR | Zbl

[14] M. Grandis, The shape of a category up to directed homotopy, Theory Appl. Categ. 15 (2005) (CT2004), No. 4, 95-146. | MR | Zbl

[15] M. Grandis, Modelling fundamental 2-categories for directed homotopy, Homology Homotopy Appl., to appear. [Dip. Mat. Univ. Genova, Preprint 527 (2005) http://www.dima.unige.it/-grandis/Shp2.pdf] | MR | Zbl

[16] G.M. Kelly, On Mac Lane's conditions for coherence of natural associativities, commutativities, etc., J. Algebra 1 (1964), 397-402. | MR | Zbl

[17] T. Leinster, Higher operads, higher categories, Cambridge University Press, Cambridge 2004. | MR | Zbl

[18] S. Mac Lane, Natural associativity and commutativity, Rice Univ. Studies 49 (1963), 28-46. | MR | Zbl

[19] D. Scott, A new category? Domains, spaces and equivalence relations, Unpublished manuscript (1996). http://www.cs.cmu.edu/Groups/LTC/