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

Rory B. B. Lucyshyn-Wright, Jason Parker

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 a…