论文标题
线性 - 非线性替代2-MONAD
The linear-non-linear substitution 2-monad
论文作者
论文摘要
我们在2个月填充上介绍了一般建筑。我们在2类别中开发了2个月填充，左半代数和colimits的地图的背景。然后，我们介绍了由2个月填充图诱导的构造的构造，表明我们获得了2个月填充的结构，并给出了其代数的表征。最后，我们将构造应用于自由对称单体和自由笛卡尔2个月填充之间的2个月填充地图，并将它们合并为线性 - 非线性2-MONAD。
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric monoidal and the free cartesian 2-monads and combine them into a linear-non-linear 2-monad.
