同变单子与同变提升对应的分配律的2-范畴
摘要：C-actegories中单子范畴的单子范畴、colax C-equivariant functors和C-equivariant natural transformations的2-范畴可以重新描述为一对由普通单子和单子与C的作用之间的分配律构成，保持分配律的单子态射，以及满足作用和分配律的一致性的单子之间的变换。在这个图像中的单子可以推广为单子范畴的作用，特别是PRO-s的作用。如果C也是一个PRO，那么在特殊情况下可以得到给定经典类型的各种分配律，例如一个余单子和一个自然函子之间的分配律，或者一个单子和一个余单子之间的分配律。通常的五边形通常被多边形所取代，还有涉及两个不同分配律的“混合”多边形。Beck的分配律与将一个单子抬升到另一个单子的Eilenberg-Moore范畴的Jection在这里扩展为2-范畴的同构。上述配对的映射的抬升是colax C-equivariant的。我们最后简要讨论了两个伪代数结构之间的相对分配律，这两个结构相对于涉及的两个伪单子的分配性，这给出了一个对于一般化的线索。
作者：Zoran v{S}koda
论文ID：0707.1609
分类：Category Theory
分类简称：math.CT
提交时间：2007-07-12