统一粘贴图的概念
摘要：关于粘贴图概念的三个主要形式体系在严格ω-范畴中的关联：Street的奇偶复合体，Johnson的粘贴方案和Steiner的增广有向复合体。在这个过程中，我们证明了奇偶复合体和粘贴方案的公理不足以正确表示粘贴图，我们通过提供一个反例来证明这一点。然后，我们引入了一个新的形式体系，称为无扭复合体，旨在涵盖其他三种形式体系。我们通过提供一个详细的证明证明了其正确性，即一个实例会引导出一个自由的ω-范畴。接下来，我们证明其他三种形式体系可以以某种方式嵌入到新的形式体系中。最后，我们证明这四种形式体系之间没有其他的嵌入关系。
作者：Simon Forest
论文ID：1903.00282
分类：Category Theory
分类简称：math.CT
提交时间：2021-07-27