Implication Details

Assumptions: locally essentially small, quotient object classifier

Conclusions: well-copowered

This implication has been dualized from this implication.