{"id":"arxiv/2602.14332","url":"https://arxiv.org/abs/2602.14332","tags":["math.CT","math.AT","math.LO"],"score":0,"title":"2-dimensional Lawvere theories, commutativity, and higher Day convolution","domain":"math.CT","source":"arxiv","authors":["Tomáš Perutka"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-15","reactions":{}}