[论文解读] Weak n-categories: opetopic and multitopic foundations

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 6

一句话总结

本文通过将对称操作数推广至包含对象范畴的结构，建立了奥佩托普（opetopes）与多操作数（multitopes）之间的精确范畴等价——这是定义弱 $n$-范畴的基础形状。研究表明，奥佩托普（源自 Baez-Dolan 的奥佩托普集）与多操作数（源自 Hermida-Makkai-Power 的多操作数集）通过保持对称性与复合性的构造实现同构，解决了高阶范畴论基础中长期存在的模糊性问题。

ABSTRACT

We generalise the concepts introduced by Baez and Dolan to define opetopes constructed from symmetric operads with a category, rather than a set, of objects. We describe the category of 1-level generalised multicategories, a special case of the concept introduced by Hermida, Makkai and Power, and exhibit a full embedding of this category in the category of symmetric operads with a category of objects. As an analogy to the Baez-Dolan slice construction, we exhibit a certain multicategory of function replacement as a slice construction in the multitopic setting, and use it to construct multitopes. We give an explicit description of the relationship between opetopes and multitopes.

研究动机与目标

• 阐明奥佩托普方法与多操作数方法在定义弱 $n$-范畴时的关系。
• 解决 Baez-Dolan 原始奥佩托普构造中因将对象视为集合而非范畴而导致的同构性丢失所引发的基础性模糊性。
• 通过将对称多范畴推广至包含对象范畴结构，建立奥佩托普与多操作数之间的形式等价性。
• 证明两种框架中的截面构造在每个维度上均产生同构的形状。
• 证明 $k$-奥佩托普的范畴与 $k$-多操作数的集合同构，范畴等价意义下成立。

提出的方法

• 将对称多范畴推广，使其包含对象的范畴（而非仅集合），从而能够准确追踪对象之间的同构性。
• 定义函子 $\xi: \text{GenMulticat} \to \text{SymMulticat}$，该函子在广义多范畴的箭头中自由添加对称作用。
• 证明 $\xi$ 是满的且忠实的，其像恰好由对象离散的、自由对称的对称多范畴构成。
• 为对称多范畴引入截面构造：$Q^{+}$ 定义为在 $\xi(M)$ 上的态射范畴，保持结构不变。
• 将奥佩托普定义为终端对称多范畴 $I$ 的迭代截面，得到 $I^{k+}$；将多操作数定义为终端广义多范畴 $J$ 的迭代截面，得到 $J_{k+}$。
• 通过归纳法建立等价关系 $\xi(J_{k+}) \simeq I^{k+}$，证明两种构造在 $k$-细胞范畴上产生同构。

实验结果

研究问题

• RQ1 奥佩托普方法与多操作数方法在定义弱 $n$-范畴时是否具有范畴等价性？
• RQ2 当对称性与同构数据被正确保留时，奥佩托普与多操作数之间的确切关系是什么？
• RQ3 Baez-Dolan 的截面构造能否推广至包含对象的范畴结构？这种推广是否能恢复预期的同构结构？
• RQ4 多操作数设定中的函数替换多范畴是否与奥佩托普设定中的截面构造等价？
• RQ5 两种框架中的迭代截面过程在每个维度 $k$ 上是否产生同构的形状？

主要发现

• 由等价关系 $\xi(J_{k+}) \simeq I^{k+}$ 可知，$k$-奥佩托普的范畴 $\mathbb{C}_k$ 与 $k$-多操作数的集合 $P_k$ 同构。
• 函子 $\xi: \text{GenMulticat} \to \text{SymMulticat}$ 是满的且忠实的，其像恰好由对象离散的、自由对称的对称多范畴构成。
• 对称多范畴的截面构造 $Q^{+}$ 保留了恢复奥佩托普所必需的结构，并通过 $M_{k+}$ 与多操作数构造兼容。
• 两种框架中的迭代截面过程产生同构形状：$I^{k+}$ 与 $J_{k+}$ 通过 $\xi(J_{k+}) \simeq I^{k+}$ 相关联，从而证明了核心等价性。
• 原始 Baez-Dolan 构造在将对象视为集合时丢失了同构数据；本文通过使用对象范畴恢复了该数据，使两种方法等价。
• 奥佩托普构造中使用的每个对称多范畴均与 $\xi$ 的像中的某个对象范畴等价，确保了构造的良态性与同构正确性。