The concept monad in the context of enriched category theory, so a monad in the 2-category VCat of -enriched categories.
The Kleisli presentation of a -enriched monad on a -category comprises
for every object , an object ;
for every object , a morphism in ;
for objects , a morphism in ;
such that
,
, and
.
In the setting of monad (in computer science), is typically a cartesian closed category and needs to exist in the internal language of , so is necessarily enriched. For example, if is the syntactic category of a programming language, then all the definable monads in the language are -enriched.
If is -enriched with copowers, e.g. if , then acts on . In this circumstance, a -enriched monad on is the same thing as a -strong monad on .
Max Kelly and John Power, Adjunctions whose counits are coequalizers and presentations of finitary enriched monads, Journal of Pure and Applied Algebra vol 89, 1993. (pdf).
John Power, Enriched Lawvere theories, (tac)
Eduardo Dubuc, Kan Extensions in Enriched Category Theory, Springer, 1970.
Last revised on June 23, 2022 at 08:15:23. See the history of this page for a list of all contributions to it.