[论文解读] Operads in iterated monoidal categories

Stefan Forcey, Jacob Siehler+1 more|ArXiv.org|Feb 28, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 41

一句话总结

本文在 $k$-fold 单位元范畴中建立了一个定义 $n$-fold 操作子的框架，证明了 $n$-fold 操作子的范畴继承了 $(k-n)$-fold 单位元结构。该研究将经典操作子理论推广至非辫状或非对称单幕范畴之外，证明 $n$-fold 操作子自动成为 $(n-1)$-fold 操作子，并通过杨图和自然数等几何例子展示了其行为。

ABSTRACT

The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schwänzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still sufficient to permit a good definition of ($n$-fold) operads in a $k$-fold monoidal category which generalizes the definition of operads in a braided category. Furthermore, the inheritance of structure by the category of operads is actually an inheritance of iterated monoidal structure, decremented by at least two iterations. We prove that the category of $n$-fold operads in a $k$-fold monoidal category is itself a $(k-n)$-fold monoidal, strict 2-category, and show that $n$-fold operads are automatically $(n-1)$-fold operads. We also introduce a family of simple examples of $k$-fold monoidal categories and classify operads in the example categories.

研究动机与目标

• 通过在 $k$-fold 单位元范畴中定义 $n$-fold 操作子，将操作子理论推广至辫状或对称单幕范畴之外。
• 证明在 $k$-fold 单位元范畴中，$n$-fold 操作子的范畴继承了 $(k-n)$-fold 单位元结构。
• 展示 $n$-fold 操作子自动成为 $(n-1)$-fold 操作子，揭示操作子结构的分层继承关系。
• 通过全序幺半群和杨图构造并分类 $k$-fold 单位元范畴的例子。
• 探索这些范畴中操作子的组合与几何增长模式，暗示其在网络理论和异速生长中的应用。

提出的方法

• 将操作子的定义适配至 $k$-fold 单位元范畴，该范畴通过弱化交换同构关系，推广了辫状单幕范畴。
• 引入一系列乘积 $\otimes_p$（$1 \leq p < q \leq n$），允许 $n$-fold 操作子中存在多级复合。
• 在 $k$-fold 单位元范畴中使用弱交换律来定义操作子作用，无需要求完全对称或辫状结构。
• 利用全序、最大值、加法以及序列上的字典序，构造 $k$-fold 单位元范畴的显式例子。
• 将理论应用于组合范畴，如 $\mathbb{N}$ 和杨图范畴，分析操作子的增长模式。
• 通过满足结合律与单位元公理的结构映射 $\theta^{pq}$ 定义 $n$-fold 操作子 $\mathcal{C}$-代数，并给出代数张量积的显式公式。

实验结果

研究问题

• RQ1 是否可以在 $k$-fold 单位元范畴中合理地定义操作子，而这些范畴弱于辫状或对称单幕范畴？
• RQ2 在 $k$-fold 单位元范畴中，$n$-fold 操作子的范畴是否继承了迭代单幕结构？若是，其阶数为何？
• RQ3 $n$-fold 操作子与 $(n-1)$-fold 操作子之间有何关系？这对操作子结构的分层体系意味着什么？
• RQ4 在组合 $k$-fold 单位元范畴（如 $\mathbb{N}$ 和杨图范畴）中，操作子的增长模式如何？
• RQ5 是否可以自然地定义 $\mathcal{C}$-代数的张量积，且其是否保持 $n$-fold 操作子代数结构？

主要发现

• 在 $k$-fold 单位元范畴中，$n$-fold 操作子的范畴本身是一个 $(k-n)$-fold 单位元、严格的 $2$-范畴。
• 每个 $n$-fold 操作子自动成为 $(n-1)$-fold 操作子，表明操作子结构具有嵌套的层级关系。
• 在 $\mathbb{N}$ 上使用通常加法的例子中，$2$-fold 操作子被完全分类，操作子项中出现线性和对数增长模式。
• 杨图范畴中的操作子在不同维度上表现出线性和对数增长，暗示了操作子增长理论的存在。
• $n$-fold 操作子 $\mathcal{C}$ 和 $\mathcal{D}$ 的 $\mathcal{C}$-代数的张量积自然成为张量积操作子 $\mathcal{C} \otimes' \mathcal{D}$ 的代数，且其结构映射有显式公式。
• 通过在所引入范畴中构造组合操作子，提供了反例与精确定理，证明了分类结果的精确性。