Implication Details
Claim: Given a functor whose domain has reflexive coequalizers, if it is conservative and preserves reflexive coequalizers and is a right adjoint, then it is monadic.
Proof: This is the crude monadicity theorem. A proof can be found in Mac Lane & Moerdijk, Thm. IV.4.2.