Implication Details

Assumptions: cogenerating set, products, zero morphisms

Conclusions: cogenerator

This implication has been dualized from this implication.