2-dimensional Lawvere theories, commutativity, and higher Day convolution
The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is that of $2$-dimensional commutativity. As one of the main results, we prove that if a Lawvere $2$-theory $\mathbb{T}$ is equipped with such a structure, then the $2$-category $\mathsf{Mod}_l(\mathbb{T},\mathbf{Cat})$ of $\mathbb{T}$-models, lax homomorphisms, and modifications admits a natural structure of a closed $2$-multicategory. From this, we deduce a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.14332
curl -X POST /api/v1/records/arxiv/2602.14332/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.14332/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'