2-dimensional Lawvere theories, commutativity, and higher Day convolution

Reference. 2-dimensional Lawvere theories, commutativity, and higher Day convolution

Tomáš Perutka · arXiv · 2026 · category-theory · Web · arXiv

Cite

Cite as @perutka_2026 (helia, typst) · \cite{perutka_2026} (LaTeX)

BibTeX

bibtex · 9 lines

@misc{perutka_2026,
 title = {2-dimensional {Lawvere} theories, commutativity, and higher {Day} convolution},
 author = {Perutka, Tomáš},
 year = {2026},
 url = {https://arxiv.org/abs/2602.14332},
 note = {arXiv:2602.14332, v2 Jun 2026, 77pp},
 eprint = {2602.14332},
 archiveprefix = {arXiv}
}

hayagriva YAML (typst)

yaml · 9 lines

perutka_2026:
  type: misc
  title: 2-dimensional {Lawvere} theories, commutativity, and higher {Day} convolution
  author: Perutka, Tomáš
  date: 2026
  url: https://arxiv.org/abs/2602.14332
  serial-number:
    arxiv: '2602.14332'
  note: arXiv:2602.14332, v2 Jun 2026, 77pp

Download: perutka_2026.bib · perutka_2026.yml

Cites 42 works (2 here)

With notes (2)

Construction of biclosed categories day1970construction1970

DOI

Functorial Semantics of Algebraic Theories lawvere_19631963

Web

External (40)

Free fibrations, lax colimits and kan extensions (∞, 2)-categories (2026)
Magmal characterisations of cocartesian categories (2025)
Characters and transfer maps via categorified traces (2025)
Linearly distributive fox theorem (2025)
On the squares functor and the gaitsgory-rozenblyum conjectures (2025)
Coherence for pseudo commutative monads (2025)
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation (2024)
Straightening for lax transformations and adjunctions of (∞, 2)-categories (2024)
Purity for flat cohomology (2024)
On straightening for segal spaces (2024)
A model-independent gray tensor product for (∞, 2)-categories (2023)
Lax monoidal adjunctions, two-variable fibrations and the calculus of mates (2023)
Hopf algebras and Hopf-Galois extensions in infinity-categories (2022)
Notes on lax ends (2022)
Homotopy-coherent algebra via segal conditions (2021)
Higher lawvere theories (2020)
Group actions on 2-categories (2019)
On the commutative algebra of categories (2018)
A fubini rule for ∞-coends (2018)
Universality of multiplicative infinite loop space machines (2016)
Day convolution for ∞-categories (2016)
Ind-abelian categories and quasi-coherent sheaves (2014)
Coherence in three-dimensional category theory (2013)
Involutive categories and monoids, with a gns-correspondence (2012)
Algebraic theories and (∞, 1)-categories (2010)
Nuclei of categories with tensor products (2007)
Lax braidings and the lax centre (2007)
Tensor product for symmetric monoidal categories (2007)
Formal category theory: adjointness for 2-categories (2006)
Pseudo-commutative monads and pseudo-closed 2-categories (2002)
Limits in double categories (1999)
Enriched lawvere theories (1999)
Categories for the working mathematician (1998)
Handbook of categorical algebra 2: Categories and structures (1994)
Braided tensor categories (1993)
Symmetric monoidal closed categories generated by commutative adjoint monads (1978)
Théorie formelle des bicatégories (1976)
Coalgebras and cartesian categories (1976)
Coherence for the tensor product of 2-categories, and braid groups (1976)
Autonomous equational categories (1966)