Abstract:Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads on the category of sets. Several authors have transported these ideas to a variety of settings, including contexts of category theory enriched in a symmetric monoidal closed category. In this paper, we develop a general axiomatic framework for enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities. Not only do we establish a simultaneous generalization of the monad-theory equivalences previously developed in the settings of Lawvere (1963), Linton (1966), Dubuc (1970), Borceux-Day (1980), Power (1999), Nishizawa-Power (2009), Lack-Rosický (2011), Lucyshyn-Wright (2016), and Bourke-Garner (2019), but also we establish a structure-semantics theorem that generalizes those given in the first four of these works while applying also to the remaining five, for which such a result has not previously been developed. Furthermore, we employ our axiomatic framework to establish broad new classes of examples of enriched monad-theory equivalences and structure-semantics adjunctions for subcategories of arities enriched in locally bounded closed categories, including various convenient closed categories that are relevant in topology and analysis and need not be locally presentable.

Model structures from a monad on presheaves

Monoidal algebraic model structures

Abelian and model structures on tame functors

A model structure for Grothendieck fibrations

Model structures on operads and algebras from a global perspective

Monoidal model structures on filtered chain complexes relating to spectral sequences

Quasi-tame substitudes and the Grothendieck construction

A model structure on the category of equivariant A-modules over a Hopf algebra

Abstract Kleisli structures on 2-categories

The Local Joyal Model Structure

Cofibrantly generated model structures for functor calculus

On Colimits and Model Structures in Various Categories of Manifolds

Constructing model categories with prescribed fibrant objects

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

Some contributions to sheaf model theory

The enriched Thomason model structure on 2-categories

Model structures on the category of complexes of quiver representations

Model Structures on Exact Categories

Generalizing quasi-categories via model structures on simplicial sets

The equivariant model structure on cartesian cubical sets

Model category structures on simplicial objects