Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.04516
curl -X POST /api/v1/records/arxiv/2605.04516/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.04516/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'