Article
Full entry |
PDF
(0.9 MB)
Feedback
PDF
(0.9 MB)
Feedback
Keywords:
higher categories; homotopy types; globular; double categories
higher categories; homotopy types; globular; double categories
Summary:
Weakly globular double categories are a model of weak 2-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani 2-categories. Fair 2-categories, introduced by J. Kock, model weak 2-categories with strictly associative compositions and weak unit laws. In this paper we establish a direct comparison between weakly globular double categories and fair 2-categories and prove they are equivalent after localisation with respect to the 2-equivalences. This comparison sheds new light on weakly globular double categories as encoding a strictly associative, though not strictly unital, composition, as well as the category of weak units via the weak globularity condition.
References:
[1] Barwick, C., Kan, D. M.: Relative categories: Another model for the homotopy theory of homotopy theories. Indagationes Mathematicae 23 (2012), 42-68 DOI 10.1016/j.indag.2011.10.002 | MR 2877401
[2] Borceux, F.: Handbook of categorical algebra. Cambridge Univ. Press, Cambridge, 1994
[3] Joyal, A., Kock, J.: Weak units and homotopy 3-types. Contemporary Mathematics, Vol. 431, 257-276, 2007 DOI 10.1090/conm/431/08277 | MR 2342833
[4] Kelly, G. M., Lack, S.: Monoidal functors generated by adjunctions, with applications to transport of structure. Galois theory, hopf algebras, and semiabelian categories, pages 319-340, 2004 MR 2075592
[5] Kock, J.: Weak identity arrows in higher categories. Int. Math. Res. Pap., 1-54, 2006 MR 2210659
[6] Lack, S.: Codescent objects and coherence. J. Pure Appl. Algebra 175 (2002), 223-241 DOI 10.1016/S0022-4049(02)00136-6 | MR 1935980
[7] Lack, S., Paoli, S.: 2-nerves for bicategories. K-Theory 38 (2008), 153-175 DOI 10.1007/s10977-007-9013-2 | MR 2366560
[8] Paoli, S.: Simplicial methods for higher categories: Segal-type models of weak n-categories. Algebra and applications, Springer, 2019 MR 3932125
[9] Paoli, S., Pronk, D.: A double categorical model of weak 2-categories. Theory Appl. Categ. 27 (2013), 933-980 MR 3116992
[10] Power, A. J.: A general coherence result. J. Pure Appl. Algebra 57 (1989), 165-173 DOI 10.1016/0022-4049(89)90113-8
[11] Simpson, C.: Homotopy types of strict 3-groupoids. Available at https://arxiv.org/abs/math/9810059
[12] Simpson, C.: Homotopy theory of higher categories. New math. monographs, Cambridge University Press, Cambridge, 2012 MR 2883823
[13] Tamsamani, Z.: Sur des notions de n-catégorie et n-groupoide non-strictes via des ensembles multi-simpliciaux. K-theory 16 (1999), 51-99 DOI 10.1023/A:1007747915317
Search
Partner of
