[论文解读] Operads as polynomial 2-monads

Mark Weber|arXiv (Cornell University)|Dec 24, 2014

Advanced Topics in Algebra参考文献 31被引用 14

一句话总结

本文提出了一种从任意操作律构造多项式 2-单子的新方法，其中该 2-单子的代数对应于操作律的范畴化代数，而非严格代数。与标准单子构造不同，该方法无需依赖 Σ-自由性，并建立了一个统一框架，将操作律、Cat-操作律和小俱乐部（clubs）通过多项式 2-单子联系起来；当操作律为 Σ-自由时，新 2-单子与标准 2-单子的严格代数之间存在 Quillen 等价。

ABSTRACT

In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the algebras of our associated 2-monad are the categorified algebras of the original operad. Moreover it enables us to characterise operads as categorical polynomial monads in a canonical way. This point of view reveals categorical polynomial monads as a unifying environment for operads, Cat-operads and clubs. We recover the standard construction of a monad from an operad in a 2-categorical way from our associated 2-monad as a coidentifier of 2-monads, and understand the algebras of both as weak morphisms of operads into a Cat-operad of categories. Algebras of operads within general symmetric monoidal categories arise from our new associated 2-monad in a canonical way. When the operad is sigma-free, we establish a Quillen equivalence, with respect to the model structures on algebras of 2-monads found by Lack, between the strict algebras of our associated 2-monad, and those of the standard one.

研究动机与目标

• 为任意操作律提供一种不依赖 Σ-自由性的新型多项式 2-单子构造方法。
• 将该 2-单子的代数表征为原始操作律的范畴化代数。
• 在范畴化多项式单子的框架内，统一操作律、Cat-操作律与小俱乐部。
• 通过 2-范畴中的余标识（coidentification）从新 2-单子恢复标准单子构造。
• 在操作律为 Σ-自由时，建立新 2-单子与标准 2-单子的严格代数之间的 Quillen 等价。

提出的方法

• 利用 Cat/I 上的 2-范畴普遍性质，通过 Cat 中的多项式函子，从操作律 T 构造一个多项式 2-单子。
• 通过函子图 I ← E → B → I 定义 2-单子，其中中间函子为可指数化函子，构成双范畴 Poly_Cat 中的多项式。
• 利用 2-自然变换的余标识定义单子结构，通过结构函子的家族性（familial）与协家族性（opfamilial）性质，确保与纤维化和协纤维化的相容性。
• 证明新 2-单子的代数恰好对应于操作律到一个 Cat-操作律（即范畴的范畴）的弱同态，从而推广了对称闭合范畴中代数的定义。
• 当 T 为 Σ-自由时，利用 2-单子代数上的 Lack 模型结构，建立新 2-单子与标准 2-单子的严格代数模型范畴之间的 Quillen 等价。
• 将该构造应用于通过 2-维单子理论中的普遍性质，恢复操作律的 PROP，如合作者著作中所发展的。

实验结果

研究问题

• RQ1 如何从操作律构造一种多项式 2-单子，使其捕捉范畴化代数而非严格代数？
• RQ2 该新 2-单子在何种意义上统一了多项式单子框架下的操作律、Cat-操作律与小俱乐部？
• RQ3 如何通过 2-范畴中的余标识，从该新 2-单子恢复标准单子构造？
• RQ4 当操作律为 Σ-自由时，新 2-单子的严格代数与标准 2-单子的严格代数之间存在何种关系？
• RQ5 如何通过该新 2-单子，以自然方式描述对称闭合范畴中操作律的代数？

主要发现

• 与操作律 T 相关的新 2-单子的代数正是 T 的范畴化代数，例如当 T 为终端操作律 Com 时，即为对称闭合范畴。
• 对于终端操作律 Com，新 2-单子的严格代数是一个对称严格闭合范畴，而标准 2-单子 T/Σ 的严格代数是 Cat 中的交换幺半群。
• 当操作律 T 为 Σ-自由时，新 2-单子与标准 2-单子 T/Σ 的严格代数模型范畴之间存在 Quillen 等价。
• 新 2-单子构造在 2-范畴设定下，通过 2-单子的余标识恢复了标准单子 T/Σ，为经典构造提供了新视角。
• 任何对称闭合范畴中的操作律代数均可通过新 2-单子，经由到范畴的 Cat-操作律的弱同态，自然地导出。
• 该构造表明，操作律、Cat-操作律与小俱乐部均可自然地嵌入为范畴化多项式单子，揭示了一个统一的框架。