2022/02/24 by César Bardomiano Martínez, Martínez, César Bardomiano
Mathematics · #18C10 #18D60 #18N45 #18N60 #Advanced Topology and Set Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2202.12386
openalex publication_date 2022/02/24 · openalex created_date 2022/05/05 · openalex updated_date 2026/07/28
We develop the theory of limits and colimits in ∞-categories within the synthetic framework of simplicial Homotopy Type Theory developed by Riehl and Shulman. We also show that in this setting, the limit of a family of spaces can be computed as a dependent product.