论文标题
合成$ \ infty $ - 类别的限制和限制
Limits and colimits of synthetic $\infty$-categories
论文作者
论文摘要
我们在Riehl and Shulman开发的Simplicial同型类型理论的合成框架中，在$ \ infty $ - 类别中开发了限制和colimits的理论。我们还表明，在这种情况下，可以将空间家族的限制计算为依赖产品。
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.
