摘要：在Riehl和Shulman开发的简化同伦类型理论的框架内，我们发展了关于$infty$-范畴中极限和余极限的理论。我们还证明，在这个框架下，一系列空间的极限可以计算为依赖乘积。
作者：C''esar Bardomiano Mart''inez
论文ID：2202.12386
分类：Category Theory
分类简称：math.CT
提交时间：2022-02-28
PDF 下载： 英文版 中文版pdf翻译中