论文标题
交换级别的单调
Commutative graded monads
论文作者
论文摘要
众所周知，kleisli代数的类别属于单型单元具有规范的单体结构。我们定义了交换性级别的单元的概念，并提出了严格的两类证据，即此类单子的Kleisli代数同样携带一个规范的单型结构，该结构将减少到单型单子案例中，当时有问题的跨性别单元在相关的单体类别上分级。
It is well-known that the category of Kleisli algebras for a monoidal monad carries a canonical monoidal structure. We define the notion of a commutative graded monad and present a strictly two-categorical proof that Kleisli algebras for such monads equally carry a canonical monoidal structure which reduce to the monoidal monad case when the commutative graded monad in question is graded over the trivial monoidal category.
