相对单子的分配律
摘要：相对单子范畴与单子范畴之间的分配律的概念引入。我们称之为相对分配律，并在任何二范畴$ \mathcal {K} $中进行定义。为了做到这一点，我们在具有相对单子态射和相对单子变换作为1-和2-细胞的二范畴$ \mathcal {K} $中引入了相对单子范畴的二范畴。我们将我们的定义与Street定义的$ \mathcal {K} $中的单子范畴的二范畴联系起来。得益于这一观点，我们证明了关于相对分配律的两个Beck型定理。我们还描述了在这种情况下具有Eilenberg-Moore和Kleisli对象的含义，并在局部小范畴的二范畴中给出了例子。
作者：Gabriele Lobbia
论文ID：2007.12982
分类：Category Theory
分类简称：math.CT
提交时间：2023-04-19