On the monadicity of finitary monads (Q1300653)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the monadicity of finitary monads |
scientific article |
Statements
On the monadicity of finitary monads (English)
0 references
1 September 1999
0 references
The main result is that the category of finitary monads on a locally finitely presentable category is monadic over some power of that category. An enriched version is also given. Monads are monoids in an endo-functor category, and monoids are algebras for a suitable operad; the author generalizes his main result to the case of algebras for an operad.
0 references
monadicity
0 references
algebras for operad
0 references
finitary monads
0 references
locally finitely presentable category
0 references
endo-functor category
0 references
