Implication Details

Assumptions: comonadic

Conclusions: conservative, faithful, left adjoint

This implication has been dualized from this implication.