2023/05/25 by John Bourke, Stephen Lack, Bourke, John +1
Mathematics · Medicine · #18C35 #18D20 #18N40 #18N60 #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications #Ophthalmology and Eye Disorders
paper · pdf · doi:10.48550/arxiv.2305.16002
openalex publication_date 2023/05/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
Recently Riehl and Verity have introduced ∞-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those ∞-cosmoi which are in fact 2-categories; we shall refer to these as 2-cosmoi. We show that each 2-category with flexible limits gives rise to a 2-cosmos whose distinguished class of isofibrations consists of the normal isofibrations. Many examples arise in this way, and we show that such 2-cosmoi are minimal as Cauchy-complete 2-cosmoi. Finally, we investigate accessible 2-cosmoi and develop a few aspects of their basic theory.