This analysis develops limits and colimits in infinity-categories, highlighting computations with spaces.
We develop the theory of limits and colimits in ∞ -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.
No takes yet. Share an insight, caveat, or question.
César Bardomiano Martínez (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: