[论文解读] Multitensors as monads on categories of enriched graphs

Mark Weber|arXiv (Cornell University)|Jun 10, 2011

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

一句话总结

本文建立了一个统一框架，系统地将范畴 $V$ 上的多重张量（multitensors）与范畴 $\Gamma V$ 上的单子（monads）联系起来，展示了如何通过构造 $\Gamma E$ 使分配性多重张量诱导出单子。其核心贡献在于在多重张量与单子之间建立了 2-函子性对应关系，从而实现对高阶范畴结构（如 Gray 乘积和 Crans 乘积）的统一处理，并将类似搞笑乘积（funny tensor product）的构造推广至更广泛的 Batanin 操作符类。

ABSTRACT

In this paper we unify previous developments on higher operads and multitensors into a single framework in which the interplay between multitensors on a category V, and monads on the category of graphs enriched in V, is taken as fundamental. The material presented here is the conceptual background for subsequent work in which the Gray tensor product of 2-categories and the Crans tensor product of Gray categories are exhibited as existing within our framework, and in an explicit construction of the funny tensor product of categories is generalised to a large class of Batanin operads.

研究动机与目标

• 统一多重张量与富集图上单子的理论，特别是在高阶范畴论的语境下。
• 为理解高阶范畴中张量积（如 Gray 乘积与 Crans 乘积）提供概念性基础。
• 通过单子框架将搞笑张量积构造推广至广泛的 Batanin 操作符类。
• 刻画由多重张量产生的单子，并建立多重张量与单子结构之间的 2-函子性对应关系。
• 将经典分配律理论扩展至多重张量与单子的设定，从而实现对严格 $n$-范畴单子的新构造。

提出的方法

• 本文构造了一个 2-函子 $\Gamma$，将范畴 $V$ 上的每个分配性多重张量 $E$ 映射为范畴 $\mathcal{G}V$ 上的单子 $\Gamma E$，其中 $\mathcal{G}V$ 是 $V$-富集图的范畴。
• 证明若 $E$ 是分配性的，则单子 $\Gamma E$ 是笛卡尔的（cartesian）且局部右伴随（locally right adjoint），从而将 $E$ 的结构性质与 $\Gamma E$ 的性质联系起来。
• 该构造利用 $E$ 对并集与过滤余极限的保持性，确保 $\Gamma E$ 行为良好，并满足纳维定理（nerve theorem）。
• 本文建立了多重张量与单子之间的 2-函子性对应关系，表明 $\Gamma$ 是全忠实的（fully faithful），且与单子的范畴理论相容。
• 引入了单子与多重张量之间分配律的广义概念，将 Beck 的经典理论扩展至该富集设定。
• 该框架被应用于通过迭代富集构造严格 $n$-范畴单子，从而恢复归纳公式 $\Theta_{n+1} = \Delta \wr \Theta_n$。

实验结果

研究问题

• RQ1 如何系统地将范畴 $V$ 上的多重张量与范畴 $\mathcal{G}V$ 上的 $V$-富集图的单子联系起来？
• RQ2 多重张量 $E$ 需要满足何种结构性条件，才能确保其诱导出的单子 $\Gamma E$ 在 $\mathcal{G}V$ 上继承如笛卡尔性或局部右伴随性等优良性质？
• RQ3 单子与多重张量在何种意义上可以相互分配？这一概念如何推广 Beck 的分配律理论？
• RQ4 如何利用该框架将范畴的搞笑张量积构造推广至广泛的 Batanin 操作符类？
• RQ5 能否通过此多重张量-单子对应关系重构严格 $n$-范畴的单子？该方法是否能恢复已知的归纳公式？

主要发现

• 构造 $\Gamma E$ 将每个 $V$ 上的分配性多重张量 $E$ 映射为 $\mathcal{G}V$ 上的单子 $\Gamma E$，其代数恰好是 $E$-范畴。
• 若 $E$ 是分配性多重张量，则单子 $\Gamma E$ 是笛卡尔的；若 $E$ 保持过滤余极限，则 $\Gamma E$ 是局部右伴随的。
• $E \mapsto \Gamma E$ 的映射是全忠实且 2-函子性的，从而在多重张量与单子之间建立了概念性桥梁。
• 该框架将 Gray 乘积与 Crans 乘积作为特例恢复，统一了它们在高阶范畴论中的处理方式。
• 该构造将搞笑张量积推广至广泛的 Batanin 操作符类，为这类结构提供了系统性的单子基础。
• 本文通过多重张量-单子框架中的楔积构造（wreath product construction），恢复了严格 $n$-范畴单子的归纳公式 $\Theta_{n+1} = \Delta \wr \Theta_n$。