Implication Details

Claim: If a functor is an equivalence, then it is monadic and is a reflector.

Proof: This is easy.