Article
Full entry |
PDF
(0.7 MB)
Feedback
PDF
(0.7 MB)
Feedback
Keywords:
Higher categories; cubical categories
Higher categories; cubical categories
Summary:
In this article we introduce the notion of cubical $(\omega, p)$-categories, for $p \in \Bbb N \cup \{\omega\}$. We show that the equivalence between globular and groupoid $\omega$-categories proven by Al-Agl, Brown and Steiner induces an equivalence between globular and cubical $(\omega, p)$-categories for all $p \geq 0$. In particular we recover in a more explicit fashion the equivalence between globular and cubical groupoids proven by Brown and Higgins. We also define the notion of $(\omega, p)$-augmented directed complexes, and show that Steiner’s adjunction between augmented directed complexes and globular $\omega$-categories induces adjunctions between $(\omega, p)$-augmented directed complexes and both globular and cubical $(\omega, p)$-categories. Combinatorially, the difficulty lies in defining the appropriate notion of invertibility for a cell in a cubical $\omega$-category. We investigate three such possible definitions and the relationships between them. We show that cubical $(\omega, 1)$-categories have a natural structure of symmetric cubical categories. We give an explicit description of the notions of lax, oplax and pseudo transfors between cubical categories, the latter making use of the notion of invertible cell defined previously.
References:
[1] Al-Agl, Fahd Ali, Brown, Ronald, Steiner, Richard: Multiple categories: the equivalence of a globular and a cubical approach. Adv. Math., 170(1):71–118
[2] Al-Agl, Fahd Ali, Steiner, Richard: Nerves of multiple categories. Proc. London Math. Soc. (3), 66(1):92–128
[3] Bezem, Marc, Coquand, Thierry, Huber, Simon: A model of type theory in cubical sets. In 19th International Conference on Types for Proofs and Programs (TYPES 2013), volume 26, pages 107–128
[4] Bousfield, Aldridge K., Kan, Daniel M.: Homotopy limits, completions and localizations. Lecture Notes in Math., Vol. 304. Springer-Verlag, Berlin-New York
[5] Brown, Ronald, Higgins, Philip J.: Sur les complexes croisés, ω-groupoïdes, et T-complexes. C. R. Acad. Sci. Paris Sér. A-B, 285(16):A997–A999
[6] Brown, Ronald, Higgins, Philip J.: On the algebra of cubes. J. Pure Appl. Algebra, 21(3):233–260
[7] Brown, Ronald, Higgins, Philip J.: Cubical abelian groups with connections are equivalent to chain complexes. Homology Homotopy Appl., 5(1):49–52
[8] Brown, Ronald, Higgins, Philip J., Sivera, Rafael: Nonabelian algebraic topology, volume 15 of EMS Tracts in Mathematics. European Mathematical Society (EMS), Zürich. Filtered spaces, crossed complexes, cubical homotopy groupoids, With contributions by Christopher D. Wensley and Sergei V. Soloviev
[9] Brown, Ronald, Spencer, Christopher B.: Double groupoids and crossed modules. Cahiers Topologie Géom. Différentielle, 17(4):343–362
[10] Cisinski, Denis-Charles: Les préfaisceaux comme modèles des types d’homotopie. Société mathématique de France
[11] Crans, Sjoerd E.: Pasting schemes for the monoidal biclosed structure on ω-cat.
[12] Crans, Sjoerd E.: Localizations of transfors. K-Theory, 28(1):39–105
[13] Gaucher, Philippe: Homotopy invariants of higher dimensional categories and concurrency in computer science. Math. Structures Comput. Sci., 10(4):481–524. Geometry and concurrency
[14] Gaucher, Philippe: Combinatorics of branchings in higher dimensional automata. Theory Appl. Categ., 8:No. 12, 324–376
[15] Goubault, Eric: Some geometric perspectives in concurrency theory. Homology Homotopy Appl., 5(2):95–136. Algebraic topological methods in computer science (Stanford, CA, 2001)
[16] Grandis, Marco: Higher cospans and weak cubical categories (cospans in algebraic topology. I). Theory Appl. Categ., 18:No. 12, 321–347
[17] Grandis, Marco: Directed algebraic topology, volume 13 of New Mathematical Monographs. Cambridge University Press, Cambridge. Models of non-reversible worlds
[18] Grandis, Marco, Mauri, Luca: Cubical sets and their site. Theory Appl. Categ., 11:No. 8, 185–211
[19] Guiraud, Yves, Malbos, Philippe: Higher-dimensional normalisation strategies for acyclicity. Adv. Math., 231(3-4):2294–2351
[20] Higgins, Philip J.: Thin elements and commutative shells in cubical ω-categories. Theory Appl. Categ., 14:No. 4, 60–74
[21] Kan, Daniel M.: Abstract homotopy. I. Proc. Nat. Acad. Sci. U.S.A., 41:1092–1096
[22] Kan, Daniel M.: Functors involving c.s.s. complexes. Trans. Amer. Math. Soc., 87:330–346
[23] Lucas, Maxime: A cubical Squier’s theorem. arxiv:1612.06541 http://arxiv.org/pdf/1612.06541
[24] Maltsiniotis, Georges: La catégorie cubique avec connexions est une catégorie test tricte. Homology, Homotopy Appl., 11(2):309–326
[25] Matsumoto, Hideya: Générateurs et relations des groupes de Weyl généralisés. C. R. Acad. Sci., 258(13):3419
[26] Quillen, Daniel: Rational homotopy theory. Ann. of Math. (2), 90:205–295
[27] Serre, Jean-Pierre: Homologie singulière des espaces fibrés. Applications. C. R. Acad. Sci. Paris, 232:31–33
[28] Steiner, Richard: The algebra of directed complexes. Appl. Categ. Structures, 1(3):247–284
[29] Steiner, Richard: Omega-categories and chain complexes. Homology Homotopy Appl., 6(1):175–200
[30] Tonks, Andrew P.: Cubical groups which are Kan. J. Pure Appl. Algebra, 81(1):83–87
Search
Partner of
