摘要：用Grothendieck构造重新审视Mac Lane关于幺半范畴的一致性证明。这个观点使得Mac Lane证明的方法非常适合推广。我们使用这种技术给出了许多标准一致性定理的高效证明，以及有阴影的双范畴及其函子的新的一致性结果。
作者：Cary Malkiewich and Kate Ponto
论文ID：2109.01249
分类：Category Theory
分类简称：math.CT
提交时间：2021-09-06
PDF 下载： 英文版 中文版pdf翻译中