Crude monadicity theorem (source code)

= Crude monadicity theorem
{c}

A useful form of the crude monadicity theorem says that a right adjoint is monadic if it reflects isomorphisms and its source has and the functor preserves coequalizers of reflexive pairs.