On the monadicity of finitary monads

Stephen Lack*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)


In 1993, Kelly and Power showed that the category of finitary monads on a locally finitely presentable category script A sign is of descent type over a power of script A sign; here we establish the stronger result that the forgetful functor in question is monadic. Both their result and ours remain true in the script V sign-enriched case for suitable monoidal categories script V sign. Generalizing further, we obtain a monadicity result for algebras for an operad.

Original languageEnglish
Pages (from-to)65-73
Number of pages9
JournalJournal of Pure and Applied Algebra
Issue number1
Publication statusPublished - 21 Jul 1999
Externally publishedYes


Dive into the research topics of 'On the monadicity of finitary monads'. Together they form a unique fingerprint.

Cite this