[论文解读] Distributive laws for actions of monoidal categories

Zoran Škoda|ArXiv.org|Jun 16, 2004

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

一句话总结

本文建立了单一半群范畴在单子模范畴上的作用的提升与特定自然变换族之间的双射关系——这是对单子之间分配律的推广。核心贡献在于构建了一个从基范畴到Eilenberg-Moore范畴的作用提升的范畴框架，从而在非交换设定下实现了对对称性的相对、几何化处理。

ABSTRACT

Given a monoidal category C, an ordinary category M, and a monad T in M, the lifts in a strict sense of a fixed action of C on M to an action of C on the Eilenberg-Moore category of T-modules in M are in a bijective correspondence with certain families of natural transformations, indexed by the objects in the monoidal category C. These families are analogues of distributive laws between monads.

研究动机与目标

• 为单半群范畴在基范畴上的作用提供一个提升至单子的Eilenberg-Moore范畴的通用框架。
• 解决在非交换几何中，特别是霍普夫代数和非交换概形的背景下，缺乏对类似群对称性的相对、几何化处理的问题。
• 将单子之间的分配律推广至单半群范畴在单子模范畴上的作用设定。
• 在受格罗滕迪克相对几何哲学启发的相对范畴设定下，形式化张量结构与单子之间兼容性的范畴结构。
• 通过单一范畴机制统一处理各种对称性——如相对群概形、辫状范畴中的霍普夫代数以及分次环——实现统一处理。

提出的方法

• 本文定义了单半群范畴在范畴 M 上的作用，并考虑该作用向 T-模范畴 M^T 的提升，其中 T 是 M 上的一个单子。
• 引入了一组由单半群范畴中的对象索引的自然变换，作为作用提升的广义分配律。
• 通过单半群作用与单子结构之间的兼容性条件来表征该提升，确保作用与 T-模结构相容。
• 该构造使用一个单子函子 L: C → End(M) 将作用提升至 M^T，其关键条件是：对每个 Q ∈ C，存在一个分配律 l: T ∘ (− ◁ Q) ⇒ (T(−) ◁ Q)。
• 通过一个具体例子进行构造：使用一个双代数 B、一个 B-模代数 A，以及 k-Mod 上的单子 T(V) = A ⊗ V，展示 C^B 在 k-Mod 上的作用如何被提升至 T-模。
• 验证了该提升作用对应于 A-模范畴上的一个新单子 L_B，其 Eilenberg-Moore 范畴分类了具有相容 A-作用与 B-作用的模。

实验结果

研究问题

• RQ1 需要哪些额外数据才能将单半群范畴在基范畴上的作用提升至该范畴上单子的 Eilenberg-Moore 范畴？
• RQ2 如何将单子之间经典分配律的概念推广至单半群范畴在单子模范畴上的作用设定？
• RQ3 在相对几何设定下，确保单半群范畴作用与单子结构之间兼容性的范畴结构是什么？
• RQ4 如何系统地将作用从对称单半群基范畴提升至单子模范畴，特别是在非交换或相对语境下？
• RQ5 遗忘函子在确保提升作用在与遗忘函子复合后还原为原始作用方面起到什么作用？

主要发现

• 单半群范畴在范畴 M 上的作用向单子 T 的 Eilenberg-Moore 范畴 M^T 的提升，与满足广义分配律条件的自然变换族之间存在双射关系。
• 广义分配律由单半群范畴中的对象索引，编码了单半群作用与单子结构之间的兼容性。
• 在双代数 B 与 B-模代数 A 的例子中，T-模上的提升作用对应于一个新单子 L_B，其代数是配备相容右 B-作用的 A-模。
• 提升单子 L_B 的 Eilenberg-Moore 范畴与满足特定兼容性条件的左 A-作用与右 B-作用相容的 k-模范畴等价。
• 该构造提供了一个在非交换几何中定义等变层的范畴框架，通过霍普夫余作用推广了 G-等变层的概念。
• 该框架通过单一相对范畴原理统一了各种对称结构——如基上的群概形、辫状范畴中的霍普夫代数以及分次代数——。