摘要：路径范畴在群体上是丰富的，并且与路径范畴的适当的2-范畴相一致。我们引入了路径范畴的新概念，即强同伦指数和强同伦乘法。我们证明了它们的一些基本性质，以及两个重要的技术命题。本文的第二部分的结果主要是使用第一部分建立的路径范畴在群体上的丰富性得到的。
作者：Martijn den Besten
论文ID：2010.14313
分类：Category Theory
分类简称：math.CT
提交时间：2020-10-28
PDF 下载： 英文版 中文版pdf翻译中