Implication Details

Assumptions: equivalence

Conclusions: monadic, reflector

Proof: This is easy.

Show 5 functors using this implication