Limits and colimits in synthetic $\infty$-categories
Abstract We develop the theory of limits and colimits in $\infty$ -categories within the synthetic framework of simplicial homotopy type theory established 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.
Authors
- César Bardomiano Martínez (ORCID: https://orcid.org/0009-0008-1632-3564)
Institutions
- University of Ottawa (CA)
Publication Details
- Journal
- Mathematical Structures in Computer Science
- Published
- 2025-01-01
- DOI
- https://doi.org/10.1017/s0960129525100248
- Citations
- 1
- Primary Topic
- Homotopy and Cohomology in Algebraic Topology
- Type
- article
- Field-Weighted Citation Impact
- 3.69