[论文解读] On operads, bimodules and analytic functors

Nicola Gambino, André Joyal|White Rose Research Online (University of Leeds, The University of Sheffield, University of York)|May 28, 2014

Advanced Topics in Algebra参考文献 56被引用 13

一句话总结

本文引入了操作符双模的双范畴 $⋯ackepsilonackepsilon_{\mathcal{V}}$，通过扩展分配器理论和单子的范畴理论，将其确立为笛卡尔闭范畴。该研究将代数结构推广至多 sorts 操作符，并为 enriched category theory 中的解析函子和对称序列提供了范畴论框架。

ABSTRACT

We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads.

研究动机与目标

• 开发超越单 sorts 情况的完整操作符理论，以支持在多种数学领域中的应用。
• 将操作符双模形式化为双范畴，以在高阶范畴设定中推广代数与模映射。
• 确立操作符双模的双范畴为笛卡尔闭范畴，扩展范畴论中的基础结果。
• 在统一的范畴论框架内整合对称序列、解析函子与单子理论。

提出的方法

• 构建双范畴 $\mathrm{OpdBim}_{\mathcal{V}}$，其中操作符为 0-细胞，双模为 1-细胞，双模映射为 2-细胞。
• 将单子的范畴理论应用于驯服双范畴，特别关注 Eilenberg-Moore 完备化。
• 以对称序列作为解析函子的基础结构，其在对称单幕闭的可表范畴 $\mathcal{V}$ 上进行 enriched。
• 引入 $S$-分配器与对称分配器，以建模序列范畴中的函子性与对称性。
• 应用单幕分配器与对称 $\mathcal{V}$-环的理论，以确保与单幕结构的兼容性。
• 通过构造 Eilenberg-Moore 对象并利用驯服同态上限制函子的全忠实性，证明笛卡尔闭性。

实验结果

研究问题

• RQ1 操作符理论能否被扩展至多 sorts 对称操作符，以支持高阶范畴结构？
• RQ2 操作符双模的双范畴是否为笛卡尔闭？若是，何种范畴论工具使其成为可能？
• RQ3 在 enriched category theory 中，对称序列与解析函子如何与单子及分配律相关联？
• RQ4 S-分配器与对称分配器在建模操作符结构中的函子性与对称性方面发挥何种作用？
• RQ5 单子的范畴理论能否被适配至驯服双范畴，以获得 Eilenberg-Moore 完备化与笛卡尔闭性？

主要发现

• 操作符双模的双范畴 $\mathrm{OpdBim}_{\mathcal{V}}$ 是笛卡尔闭的，为操作符结构中的复合与内部函子提供了范畴论基础。
• 对于驯服同态，限制函子 $\mathrm{Res}(\Phi,\Psi)$ 是全忠实的，确保了变换的扩展唯一性。
• 在双模双范畴中，单子的 Eilenberg-Moore 对象存在，使得可通过普遍性质构造代数。
• 对称序列的范畴是笛卡尔闭的，推广了 enriched 环境中解析函子的理论。
• 分配器理论被扩展至单幕与对称设定，使得操作符复合与对称性得以一致处理。
• 该框架在单一范畴结构下统一了操作符、双模与解析函子，促进了在代数拓扑与理论计算机科学中的应用。