2025/01/29 by Calum Hughes, Adrian Miranda, Hughes, Calum +1
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Geometric and Algebraic Topology
paper · pdf · doi:10.36045/j.bbms.251105
We show that for an extensive 1-category E with pullback-stable coequalisers admitting free internal categories over internal graphs, the 2-category Cat(E) of internal categories, functors and natural transformations has finite 2-colimits. In addition, Cat(E) is extensive and codescent coequalisers are stable under pullback along discrete Conduché fibrations. Moreover, we give converse results to this.