[论文解读] Tensors, monads and actions

Gavin J. Seal|arXiv (Cornell University)|May 1, 2012

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

一句话总结

本文建立了在张量范畴 $\mathsf{C}$ 上，一个张量单子 $\mathbb{T}$ 诱导其 Eilenberg–Moore 范畴 $\mathsf{C}^\mathbb{T}$ 上张量结构的充分条件，使得 $\mathsf{C}^\mathbb{T}$ 中的态射范畴在 $\mathsf{C}$ 上是单子性的。关键结果表明，复合遗忘函子 $(\mathsf{C}^\mathbb{T})^{M} \to \mathsf{C}^\mathbb{T} \to \mathsf{C}$ 是单子性的，从而推广了经典例子，如环上的模和量度上的作用。

ABSTRACT

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic over the base category C.

研究动机与目标

• 建立一个张量单子 $\mathbb{T}$ 在张量范畴 $\mathsf{C}$ 上，使其在 Eilenberg–Moore 范畴 $\mathsf{C}^\mathbb{T}$ 上诱导出张量结构，以捕捉双态射。
• 证明张量 Eilenberg–Moore 范畴中的态射范畴在基范畴 $\mathsf{C}$ 上是单子性的。
• 将经典例子（如环上的模和量度上的作用）推广至范畴框架。
• 为基范畴提供可验证的条件，以确保诱导出的张量结构存在，避免依赖封闭性或对称性。

提出的方法

• 通过等化子构造在 $\mathsf{C}^\mathbb{T}$ 上定义张量 $\boxtimes$，确保其满足结合律与单位元条件。
• 使用反射等化子构造自由代数的张量积，即 $\mathsf{C}$ 中张量的自由代数，这对证明结合律至关重要。
• 证明张量单子态射 $\mathbb{S} \to \mathbb{T}$ 诱导出范畴 $\mathsf{C}^\mathbb{T} \to \mathsf{C}^\mathbb{S}$ 上的张量函子，保持张量结构。
• 应用双态射与代数函子理论，证明遗忘函子 $\mathsf{C}^{(M,\mathbb{T})} \to \mathsf{C}$ 是单子性的。
• 通过由单子同态诱导的幺半群同态，证明模范畴之间的限制标量函子是代数函子。
• 通过阿贝尔群与上半格等例子验证条件，表明其与经典构造相容。

实验结果

研究问题

• RQ1 在什么条件下，一个张量范畴 $\mathsf{C}$ 上的张量单子 $\mathbb{T}$ 会在 Eilenberg–Moore 范畴 $\mathsf{C}^\mathbb{T}$ 上诱导出张量结构？
• RQ2 何时 $\mathsf{C}^\mathbb{T}$ 中的态射范畴在基范畴 $\mathsf{C}$ 上是单子性的？
• RQ3 是否可以在不假设基范畴具有封闭性或对称性的前提下，构造 $\mathsf{C}^\mathbb{T}$ 上的张量结构？
• RQ4 张量单子态射与不同态射范畴之间函子之间有何关系？
• RQ5 何种条件可确保从 $\mathsf{C}^{(M,\mathbb{T})}$ 到 $\mathsf{C}$ 的遗忘函子是单子性的？

主要发现

• Eilenberg–Moore 范畴 $\mathsf{C}^\mathbb{T}$ 从张量单子 $\mathbb{T}$ 继承了张量结构 $\boxtimes$，使其适合编码双态射。
• $\mathsf{C}^\mathbb{T}$ 上的张量积通过反射等化子与自由代数性质证明了其满足结合律与单位元律。
• 态射范畴 $\mathsf{C}^{(M,\mathbb{T})}$ 在 $\mathsf{C}$ 上是单子性的，推广了模与量度作用的单子性。
• 遗忘函子 $\mathsf{C}^{(M,\mathbb{T})} \to \mathsf{C}$ 是单子性的，其单子由 $M$ 在 $\mathsf{C}^\mathbb{T}$ 上的作用所诱导。
• 模范畴之间的限制标量函子是代数函子，由由幺半群同态诱导的单子同态所实现。
• 在经典例子中验证了该构造：$\mathsf{AbGrp}$ 作为 $\mathsf{Set}^\mathbb{A}$，$\mathsf{Sup}$ 作为 $\mathsf{Set}^\mathbb{P}$，表明其与已知单子结构相容。