迭代分配律
摘要：通过满足杨-巴克斯特方程的可分配律，我们给出了将同一范畴上的n个单子合并的框架，扩展了巴尔和韦尔斯的经典结果，后者通过一个可分配律将两个单子合并。我们证明了这对应于将二范畴中的单子的二范畴的过程迭代n次，扩展了街道对可分配律的表征结果。我们证明了这个框架可以用于构造n维球形集上的自由严格n范畴单子；我们首先为每个i构造了一个沿着边界i细胞的组合单子，然后我们证明了交换律定义了这些单子之间的可分配律，满足必要的杨-巴克斯特方程。
作者：Eugenia Cheng
论文ID：0710.1120
分类：Category Theory
分类简称：math.CT
提交时间：2007-10-08