摘要：每个具有子对象分类器和局部笛卡尔闭性的$\infty$-范畴都有严格的初对象和互斥且普遍的二元并集。
作者：Jonas Frey and Nima Rasekh
论文ID：2108.11304
分类：Category Theory
分类简称：math.CT
提交时间：2022-02-15
PDF 下载： 英文版 中文版pdf翻译中