迭代分配律

我们给出了一个框架，通过满足Yang-Baxter方程的分配律来组合同一范畴上的$n$个单子，推广了Barr和Wells通过一个分配律组合两个单子的经典结果。我们证明了这对应于在2-范畴中取单子的2-范畴的过程迭代$n$次，推广了Street刻画分配律的结果。我们证明了该框架可用于构造$n$维球状集上的自由严格$n$-范畴单子；我们首先为每个$i$构造一个沿边界$i$-胞腔复合的单子，然后证明了交换律定义了这些单子之间的分配律，且满足必要的Yang-Baxter方程。