Abstract
AbstractIn ordinary category theory, limits are known to be equivalent to terminal objects in the slice category of cones. In this paper, we prove that the 2-categorical analogues of this theorem relating 2-limits and 2-terminal objects in the various choices of slice 2-categories of 2-cones are false. Furthermore we show that, even when weakening the 2-cones to pseudo- or lax-natural transformations, or considering bi-type limits and bi-terminal objects, there is still no such correspondence.
Funder
Max Planck Institute for Mathematics
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference11 articles.
1. Auderset, C.: Adjonctions et monades au niveau des $$2$$-catégories. Cahiers Topologie Géom. Différentielle 15, 3–20 (1974)
2. Borceux, F., Kelly, G.M.: A notion of limit for enriched categories. Bull. Aust. Math. Soc. 12, 49–72 (1975)
3. clingman, t., Moser, L.: Bi-initial objects and bi-representations are not so different. Cahiers Topologie Géom. Différentielle Catég. 63(3), 259–330 (2022)
4. Grandis, M.: Higher dimensional categories. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ (2020). From double to multiple categories
5. Grandis, M., Paré, R.: Limits in double categories. Cahiers Topologie Géom. Différentielle Catég. 40(3), 162–220 (1999)