关于弱分配律的2-范畴
范畴论
2012-01-27 v2 量子代数
摘要
2-范畴中的弱混合分配律（也称为弱缠绕结构）由一个单子和一个余单子，以及一个以推广Beck混合分配律的方式关联它们的2-胞腔组成。我们证明，弱混合分配律可以描述为单子和余单子的一个相容对，分别位于扩展了余单子2-范畴和单子2-范畴的2-范畴中。基于这一观察，我们定义了一个以弱混合分配律为0-胞腔的2-范畴。在允许对单子和余单子进行Eilenberg-Moore构造，且幂等2-胞腔可分裂的2-范畴K中，我们构造了一个从该弱混合分配律2-范畴到K^{2×2}的完全忠实2-函子。
引用
@article{arxiv.1009.3454,
title = {On the 2-categories of weak distributive laws},
author = {Gabriella Böhm and Stephen Lack and Ross Street},
journal= {arXiv preprint arXiv:1009.3454},
year = {2012}
}
备注
15 pages LaTeX source, final version to appear in Comm. Algebra