The linear-non-linear substitution 2-monad

Martin Hyland, Christine Tasson

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 constructio…