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

Eugenia Cheng|ArXiv.org|Apr 21, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 4

一句话总结

本文通过从整洁对称多范畴到笛卡尔单子的函子构造，建立了Baez-Dolan胞状体与Leinster胞状体之间的范畴等价，表明对称多范畴上的切片构造对应于笛卡尔单子上的自由操作符单子构造。关键结果是$k$-胞状体与$k$-多胞状体范畴之间的显式同构，统一了通过胞状体结构构建弱$n$-范畴的两种基础方法。

ABSTRACT

We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (E_Q,T_Q) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the `free operad' monad construction on suitable monads. We use this to give an explicit description of the relationship between Baez-Dolan and Leinster opetopes.

研究动机与目标

• 澄清Baez与Dolan提出的弱$n$-范畴胞状体基础与Leinster提出的胞状体基础之间的关系。
• 通过比较对称多范畴与$({\rm\bf E},T)$-多范畴，解决高维复合中组成单元顺序的奠基性问题。
• 构造一个从整洁对称多范畴到笛卡尔单子的函子，保持切片构造，从而连接两种方法。
• 通过该构造证明$k$-胞状体与$k$-多胞状体范畴之间的等价性。
• 通过使用整洁对称多范畴推广概念，将胞状体理论框架扩展至原始Baez-Dolan定义之外。

提出的方法

• 将整洁对称多范畴定义为那些在离散对象范畴上自由对称的范畴。
• 从每个整洁对称多范畴$Q$构造一个笛卡尔单子$(\rm{f E}_Q, T_Q)$，其中$T_Q$作用于$Q$-对象的标记集合上。
• 建立一个函子$\zeta: \text{TidySymMulticat} \to \text{CartMonad}$，将对称多范畴映射到笛卡尔单子。
• 证明对称多范畴上的切片过程对应于笛卡尔单子上的自由操作符单子构造。
• 证明对$k$重迭代切片诱导的映射在$k$-胞状体与$k$-多胞状体范畴之间诱导出同构。
• 通过上积构造和对箭头同构类的归纳定义，将$C^{(k+1)}$嵌入目标集$A_2$，确保自然性与交换性条件。

实验结果

研究问题

• RQ1 鉴于其不同的基础结构，Baez-Dolan与Leinster的胞状体构造在范畴论上如何关联？
• RQ2 对称多范畴上的切片构造能否自然地与笛卡尔单子上的自由操作符单子构造相关联？
• RQ3 笛卡尔单子在建模胞状复合中的精确作用是什么？与对称多范畴相比有何异同？
• RQ4 是否存在一个函子性对应关系，将整洁对称多范畴与笛卡尔单子联系起来，并保持迭代切片的结构？
• RQ5 通过整洁对称多范畴推广胞状体概念，是否能恢复或扩展原始Baez-Dolan胞状体定义？

主要发现

• 从整洁对称多范畴到笛卡尔单子的函子$\zeta$保持切片构造（至等价），在对称多范畴与$({\rm\bf E},T)$-多范畴之间建立起桥梁。
• 通过$k$重切片过程诱导的映射，$k$-胞状体与$k$-多胞状体范畴之间存在同构。
• 将$g_{k+1}$构造为从$\mathbb{C}^{(k)} \times_{S'} A$到$\text{elt}\,Q^+ \times_{{\mathcal{F}}S'^{\rm op}} {\mathcal{F}}A^{\rm op}$的满忠实函子，确保了将$C^{(k+1)}$嵌入$A_2$的归纳步骤。
• 诱导映射$A_1 \to A_2$是同构，确认该构造尊重了胞状集的底层范畴结构。
• 单子的函子自然性得到验证，表明映射$Q \mapsto (\rm{f E}_Q, T_Q)$与$S'$上的集合范畴中的态射相容。
• 最终同构$(\rm{f E}_{Q^+}, T_{Q^+}) \cong (\rm{f E}_Q', T_Q')$确认了单子构造在整个切片过程中的一致性与一致性。