Is the inclusion of the category of sheaves into the category of presheaves monadic? If not, then maybe it preserves directed colimits?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The answer (to the first question) is yes: reflections are always monadic, and the associated monad is idempotent. 

