摘要：用独立证明给出一种基进度过程定理的证明，不依赖于Power的2-范畴过程定理、基进度一致性定理或双等价的本地特征化。
作者：Niles Johnson, Donald Yau
论文ID：1910.01220
分类：Category Theory
分类简称：math.CT
提交时间：2021-12-21
PDF 下载： 英文版 中文版pdf翻译中