Lawvere theories enriched over a general base (Q2378550): Difference between revisions

\textit{J. Power} [Theory Appl. Categ. 6, 83--93 (1999; Zbl 0943.18003)] has generalized the correspondence between between Lawvere theories and finitary monads on \(\mathbf{Set}\) to one between \({\mathcal V}\)-enriched Lawvere theories and finitary \({\mathcal V}\)-monads on the base category \(\mathcal V\). This paper extends this further to \({\mathcal V}\)-enriched monads on a locally finitely presentable \({\mathcal V}\)-category \({\mathcal A}\) (\({\mathcal V}\) being locally finitely presentable as a monoidal closed category). The corresponding theories are called Lawvere \({\mathcal A}\)-theories. From the introduction and the abstract: ``What was not obvious was how to define the notion of Lawvere \({\mathcal A}\)-theory. [\dots] We illustrate this with examples leading up to that of the Lawvere \(\mathbf{Cat}\)-theory for cartesian closed categories, i.e., the \(\mathbf{Set}\)-enriched theory on the category \(\mathbf{Cat}\) for which the models are all small cartesian closed categories. We also briefly investigate change-of-base.''