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