Implication details

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

Proof: This is easy.

This implication has a dual.

Show 5 functors using this implication