29 citations · 90 across the 13 of their papers we have counts for
1 paper · 2 filters
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…