Implication Details

Assumptions: essentially small

Conclusions: cogenerating set, locally essentially small, well-copowered, well-powered

This implication has been dualized from this implication.