Implication Details

Assumptions: equivalence

Conclusions: comonadic, left-invertible

This implication has been dualized from this implication.

Show 2 functors using this implication