[论文解读] Operads in Higher-Dimensional Category Theory

Tom Leinster|ArXiv.org|Nov 16, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 32被引用 30

一句话总结

本文通过将 T-多重范畴和 T-Operad 推广，引入了高维范畴理论中的 operad，表明对象集为 {1} 的 T-Operad 的代数与底层单子 T 的代数相对应。该文建立了一个使用集合上的离散双纤维化和单子的高维代数结构框架，尤其阐明了范畴论设定中单子与其相关 operad 之间的关系。

ABSTRACT

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed definition of n-category is a reasonable one, and of what happens when n=2. Generalized operads and multicategories play other parts in higher-dimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to n-categories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.

研究动机与目标

• 将多重范畴和 operad 的理论扩展至高维范畴结构。
• 将 T-多重范畴形式化为小范畴上的离散双纤维化。
• 阐明 T-Operad 代数与底层单子 T 代数之间的关系。
• 为使用单子和双纤维化进行高维代数的范畴论框架提供支持。
• 证明具有单元素对象集的 T-Operad 所产生的代数与 T-代数等价。

提出的方法

• 使用小范畴 D 上的离散双纤维化 Y 来定义 T-多重范畴。
• 将 T-多重范畴的代数定义为从 Y 到 D 上另一离散双纤维化 X 的映射。
• 通过函子 C → πM，应用集合上的单子 T 来构造 T-多重范畴。
• 考虑树范畴上的自由单子，以建模 T-Operad。
• 分析对象集为 C₀ = {1} 的 T-Operad，以证明 T-代数结构与该 Operad 代数之间的等价性。
• 运用范畴论对偶性和函子性，关联单子代数与 Operad 代数。

实验结果

研究问题

• RQ1 如何通过小范畴上的离散双纤维化来表征 T-多重范畴？
• RQ2 T-Operad 的代数与底层单子 T 的代数之间存在何种关系？
• RQ3 具有单元素对象集的 T-Operad 如何与单子代数关联？
• RQ4 离散双纤维化以何种方式编码高维代数结构？
• RQ5 T-多重范畴的代数具有何种范畴结构？

主要发现

• 无论特定函子 π 为何，T-多重范畴 (C, π) 的代数均与函子 C → Set 等价。
• 当 T 为树范畴上的自由单子时，C₀ = {1} 的 T-Operad 恰好对应于 T-代数。
• 具有单元素对象集的 T-Operad 的代数范畴与 [C, Set]（即从 C 到 Set 的函子范畴）同构。
• 对于任意幺半群 M，T-多重范畴 (Set, M×−) 的代数范畴为 [C, Set]，且与 π 的选择无关。
• 该构造表明，具有 C₀ = {1} 的 T-Operad 所产生的代数与标准的 T-代数等价。
• 该框架统一了高维范畴理论中基于单子与基于 Operad 的代数结构。