2021/08/26 by Emily Riehl, Riehl, Emily, Mira Wattal +1
Mathematics · Physics and Astronomy · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Black Holes and Theoretical Physics
paper · pdf · doi:10.48550/arxiv.2108.11786
An ∞-cosmos is a setting in which to develop the formal category theory of (∞,1)-categories. In this paper, we explore a few atypical examples of ∞-cosmoi whose objects are 2-categories or bicategories rather than (∞,1)-categories and compare the formal category theory that is so-encoded with classical 2-category and bicategory theory. We hope this work will inform future explorations into formal (∞,2)-category theory.