On the construction of action monads as an adjoint functor from monoids to strong monads (all in the generality of enriched category theory):
Given a symmetric closed monoidal category , a -enriched category with underlying ordinary category and a subcategory of containing the identities of , H. Wolff defines the corresponding theory of a localization of an enriched category:
H. Wolff, -localizations and -triples, Dissertation, University of Illinois-Urbana, 1970.
H. Wolff, -localizations and -monads, J. Alg. 24, 405-438, 1973, MR310041, doi;
H. Wolff, V-localizations and -monads. II, Pacific J. Math. 63 (1976), no. 2, 579–589, MR412253, euclid;
H. Wolff, -localizations and -Kleisli algebras, Manuscripta Math. 16 (1975), no. 3, 203–228, MR382383, doi
On free monads:
Last revised on February 13, 2024 at 16:41:54. See the history of this page for a list of all contributions to it.