[论文解读] Operads, clones, and distributive laws

Pierre-Louis Curien|arXiv (Cornell University)|May 14, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 9

一句话总结

本文通过范畴上的单子及其在函子上的扩展，统一了非对称操作代数、对称操作代数和克隆，表明它们作为扩展单子的（共）Kleisli 2-范畴中的幺半群而出现。关键贡献是一个使用函子和分配律的范畴框架，系统地捕捉了操作代数结构及其变体（包括余操作代数和普罗佩拉德）。

ABSTRACT

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other previous categorical analyses of operads (via Day's tensor products, or via analytical functors) fit with the profunctor approach.

研究动机与目标

• 通过范畴上的单子，为非对称操作代数、对称操作代数和克隆提供统一的范畴描述。
• 将这些单子扩展到函子的2-范畴，实现对操作代数结构的统一处理。
• 展示分配律如何通过函子复合控制操作、对偶操作和双操作的复合。
• 将现有的范畴方法（例如 Day 的张量积、解析函子）与基于函子的框架联系起来。
• 通过具有分配律的双范畴结构，将理论推广至余操作代数和普罗佩拉德。

提出的方法

• 在 Cat 上定义三个单子，分别对应非对称操作代数、对称操作代数和克隆。
• 使用分配律将每个单子扩展为函子、范畴和函子的2-范畴上的伪单子。
• 将操作代数表示为扩展单子在函子上的（共）Kleisli 2-范畴中的幺半群。
• 使用函子来建模具有固定元数和余元数的操作族，其中单子控制输入的多重性。
• 应用格罗滕迪克构造将函子与广义张量联系起来，尽管更优先采用函子方法。
• 引入共单子 ? 与单子 ! 之间的分配律，以组合双操作，通过置换图的形式形式化复合中的连通性条件。

实验结果

研究问题

• RQ1 如何通过 Cat 上的单子统一描述非对称操作代数、对称操作代数和克隆？
• RQ2 函子在将操作代数的范畴处理从张量推广到更一般结构中起到什么作用？
• RQ3 单子与共单子之间的分配律如何实现普罗佩拉德中双操作的复合？
• RQ4 在函子上扩展的单子如何捕捉余操作代数和普罗佩拉德的结构？
• RQ5 函子方法如何统一先前的范畴框架（如 Day 的张量积和解析函子）？

主要发现

• 非对称操作代数、对称操作代数和克隆作为扩展单子在函子上的（共）Kleisli 2-范畴中的幺半群而出现。
• 与张量相比，函子方法为捕捉操作代数结构的变体提供了更精细且灵活的框架。
• 共单子 ? 与单子 ! 之间的分配律使得普罗佩拉德中双操作的复合成为可能，连通性条件通过置换图形式化。
• 当 X = {σ} 时，其在 Vect 上的结构同构于 Vallette 定义的普罗佩拉德，证实了该框架与现有定义的一致性。
• 该框架通过将先前的范畴描述（如通过 Day 张量积或解析函子）嵌入函子与单子扩展范式中，实现了对它们的推广。
• 使用函子使得对操作与对偶操作的系统处理成为可能，单子控制输入/输出的多重性，分配律控制复合结构。