Let $C$ be a cocomplete category, and suppose that it has an object that is colimit dense. Is $C$ automatically monadic over $Set$? And if not, is there an explicit counterexample?
Colimit density and monads
arsmath
- 6.9k
- 3
- 38
- 56