Assumptions: CIP
Conclusions: coproducts, products, zero morphisms
Reason: This is true by definition.