Implication Details

Assumptions: equivalence

Conclusions: left-invertible, monadic

Proof: This is easy.

Show 2 functors using this implication