Implication Details
Assumptions: cocontinuous
Assumptions on source category: cocomplete, generating set, locally small, well-copowered
Assumptions on target category: locally small
Conclusions: left adjoint
This implication has been dualized from this implication.