Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads math.CT · 2026-05-06