[论文解读] The theory of opetopes via Kelly-Mac Lane graphs

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Advanced Topology and Set Theory参考文献 6被引用 5

一句话总结

本文提出了一种使用Kelly-Mac Lane图对opetopes——opetopic n-范畴中基本的胞射形状——的新代数构造方法，通过在闭范畴中使用形式化结构替代几何树。通过在闭范畴中推广带标签的图及其态射，作者提供了opetopes的精确代数表征，该表征与基于多范畴的原始构造相匹配，并通过允许态射和复合规则的范畴框架建立了等价性。

ABSTRACT

This paper follows from two earlier works. In the first we gave an explicit construction of opetopes, the underlying cell shapes in the theory of opetopic n-categories; at the heart of this construction is the use of certain trees. In the second we gave a description of trees using Kelly-Mac Lane graphs. In the present paper we apply the latter to the former, to give a construction of opetopes using Kelly-Mac Lane graphs.

研究动机与目标

• 提供opetopes的代数化、范畴论表征，以替代基于树的几何方法。
• 将树与Kelly-Mac Lane图之间的对应关系推广至带标签结构，以实现opetope复合的正式化。
• 证明由此构造出的opetopes与先前基于对称多范畴定义的opetopes一致。
• 为使用闭范畴和允许态射语言的新形式化描述opetope范畴奠定基础。

提出的方法

• 将Kelly-Mac Lane图推广至包含闭范畴中来自范畴C的对象作为标签的形状与态射。
• 将带标签图定义为带标签形状之间的态射，其方向由扭曲和中的变性决定，以确保与树复合的一致性。
• 引入“允许”带标签图的概念，其通过先前工作中建立的对应关系，与带标签树精确对应。
• 使用“梯子”构造法识别满足两个条件的态射：符合树的形状，且通过截面多范畴结构实现复合性。
• 将opetope构造形式化为闭范畴中可复合态射的序列，其中每一步均通过复合(k−1)-opetopes得到k-opetope。
• 将该框架应用于定义低维的面映射与关系，表明其与已知的opetopic结构一致。

实验结果

研究问题

• RQ1 能否使用Kelly-Mac Lane图而非几何树来代数化构造opetopes？
• RQ2 如何在闭范畴的语言中，通过允许态射正式化带标签树？
• RQ3 通过Kelly-Mac Lane图构造的opetopes是否与原始基于多范畴的定义一致？
• RQ4 当通过此新形式化定义时，opetope范畴的范畴结构是什么？
• RQ5 opetopes中的面映射与复合关系如何转化为带标签图与态射的语言？

主要发现

• 本文通过带标签的Kelly-Mac Lane图，建立了opetopes的精确代数表征，以范畴结构取代了树的几何直觉。
• 证明了通过闭范畴与允许态射的构造方法，所得到的opetopes与原始基于多范畴的定义一致，如文献[4]中形式化所示。
• 关键结果为推论2.7，其表明对于具有一个对象和一个态射的对称多范畴Q，所有k ≥ 0，第k个opetope同构于o(Q^{k+})。
• opetope的面映射被证明对应于范畴AOpes中态射的复合，其关系由底层图中的对偶关系生成。
• 该框架允许系统性地描述opetope范畴，其中低维的面映射与复合关系被明确推导。
• 该构造可推广至k-opetopes，其中k-opetope的0-胞射面映射恰好是其组成(k−1)-opetopes的面映射的复合。