@MISC{Power_enrichedlawvere, author = {John Power}, title = {Enriched Lawvere Theories}, year = {} }

Years of Citing Articles

Bookmark

OpenURL

Abstract

We define the notion of enriched Lawvere theory, for enrichment over a monoidal biclosed category V that is locally finitely presentable as a closed category. We prove that the category of enriched Lawvere theories is equivalent to the category of finitary monads on V. Morever, the V-category of models of a Lawvere V-theory is equivalent to the V-category of algebras for the corresponding V-monad. This all extends routinely to local presentability with respect to any regular cardinal. We finally consider the special case where V is Cat, and explain how the correspondence extends to pseudo maps of algebras.