Implication Details

Assumptions: CSP

Conclusions: coproducts, products, zero morphisms

This implication has been dualized from this implication.