{"id":"arxiv/2605.04516","url":"https://arxiv.org/abs/2605.04516","tags":["math.CT"],"score":0,"title":"Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads","domain":"math.CT","source":"arxiv","authors":["Joanna Ko"],"reviews":0,"subject":"math.CT","summary":"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 $\\mathbb{T}$ with tight cones, the enhanced $2$-category $\\mathbb{M}\\mathrm{od}_{s, w}(\\mathbb{T}, \\mathbb{K})$ of models of $\\mathbb{T}$ in a locally presentable enhanced $2$-category $\\mathbb{K}$, in which the tight and the loose morphisms are the $\\mathscr{F}$-natural transformations and the loose $w$-natural transformations, respectively, is equivalent to the enhanced $2$-category…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}