On the monadicity of finitary monads

Author

Stephen Lack

Status

Research Report 97-29
To appear in Journal of Pure and Applied Algebra
Date: 21 October 1997

Abstract

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

Key phrases

monad. locally presentable category. operad.

AMS Subject Classification (1991)

Primary: 18C15
Secondary: 18C20, 18D20

Content

The paper is available in the following forms:

TeX dvi format:: 1997-29.dvi.gz (19kB) or 1997-29.dvi (42kB)
PostScript:: 1997-29.ps.gz (40kB) or 1997-29.ps (128kB)

To minimize network load, please choose the smaller gzipped .gz form if and only if your browser client supports it.

Sydney Mathematics and Statistics