Implication Details

Assumptions: equivalence

Conclusions: cocontinuous, comonadic, left adjoint

This implication has been dualized from this implication.