[论文解读] Free Products of Higher Operad Algebras

Mark Weber|ArXiv.org|Sep 25, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 3

一句话总结

本文将此前仅定义于范畴的有趣张量积（funny tensor product）推广至由 n-Operad 控制的高阶范畴结构。通过对称单子（symmetric monoidal monads）与丰富图多范畴（enriched graph multicategories）的运用，构造了 n-operad 代数上的对称单子闭合结构，从而实现了类似于三维情形下 Gray 张量积的半严格 n-范畴的归纳定义。

ABSTRACT

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product of 2-categories. In this paper we continue the developments of [3] and [2] by understanding the natural generalisations of Gray's little brother, the funny tensor product of categories. In fact we exhibit for any higher categorical structure definable by an n-operad in the sense of Batanin [1], an analogous tensor product which forms a symmetric monoidal closed structure on the category of algebras of the operad.

研究动机与目标

• 开发弱 n-范畴的高阶版本的 Gray 张量积的系统性类比。
• 将 Batanin 意义下的 n-operad 代数的范畴有趣张量积进行推广。
• 利用单子与多范畴理论，在 n-operad 代数范畴上建立对称单子闭合结构。
• 将高阶操作代数的“自由积”定义并分析为有趣张量积的推广。
• 为通过归纳性、操作性方法构造半严格 n-范畴提供理论框架。

提出的方法

• 利用对称单子与可表示多范畴的框架，定义 n-operad 代数上的张量积。
• 构建从带有函子到 Set 的范畴到丰富图的 2-函子赋值，且与单子结构相容。
• 使用分配多张量（distributive multitensors）与路径型单子（path-like monads）来明确描述多映射的同态对象（hom-objects）。
• 应用“多张量降阶定理”（multitensor dropping theorem）将自由积与笛卡尔积关联，推导出比较映射。
• 采用正交因子分解系统（如：对象上保等距、全忠实）来恢复一致性数据，如同在 Gray 张量积中所做。
• 证明自由积构造在良好点化、笛卡尔单子下是笛卡尔自然的，并与余积相容。

实验结果

研究问题

• RQ1 如何将范畴的有趣张量积推广至由 n-operad 定义的高阶范畴结构？
• RQ2 在 n-operad 代数范畴上，会涌现出何种对称单子闭合结构？
• RQ3 在何种条件下，T-代数的自由积会自然地映射到其笛卡尔积？
• RQ4 如何系统地推导出 Gray 张量积高维类比的一致性数据？
• RQ5 分配多张量与路径型单子在使自由积构造显式化的过程中起何作用？

主要发现

• 对任意 n-operad A，A-代数范畴可通过广义的‘自由积’张量积，获得对称单子闭合结构。
• T-代数的自由积通过一个自然变换与笛卡尔积自然关联，该变换可分解为‘对象上保等距、全忠实’的因子分解。
• 当单子 T 为良好点化、笛卡尔且保持余积时，从自由积到笛卡尔积的比较映射是笛卡尔自然的。
• 自由积的显式描述依赖于一个分配多张量 E，满足 ΓE ≅ T，从而可通过可复合态射序列，明确描述同态对象。
• 多张量降阶定理允许构造一个‘双元 A-代数’的单子——即以自由积为张量的 A-代数上的范畴——并表明该单子源自一个 (n+1)-operad。
• 该框架为通过归纳性、操作性方法系统构建半严格 n-范畴提供了完整的理论基础，其一致性数据由正交因子分解系统决定。