Limits and colimits of synthetic $\infty$-categories

Abstract

We develop the theory of limits and colimits in $\infty$-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.

40 pages. Split from previous version, change to original title. Submitted

References in corpus (3)

• The Simplicial Model of Univalent Foundations (after Voevodsky)
• Homotopy Theoretic Models of Type Theory
• Could $\infty$-category theory be taught to undergraduates?

Cited by in corpus (1)

• Exponentiable functors between synthetic $\infty$-categories