2021/04/27 by Kristóf Kanalas, Kanalas, Kristóf
Mathematics · Medicine · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
paper · pdf · doi:10.48550/arxiv.2104.13239
openalex publication_date 2021/04/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category \mathbfCoh∼ (of small coherent categories, coherent functors and all natural isomorphisms) is of logical interest. We prove that this category admits all small 2-limits and 2-colimits (in the (∞ ,1)-categorical sense), and prove a 2-categorical small object argument to provide weak factorisation systems for coherent functors.