Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads

Joanna Ko

We establish the equivalence between models of enhanced $2$-sketches and algebras over monads, including the (co)lax morphisms. More precisely, for any enhanced limit $2$-sketch $\…