Implication Details

Assumptions: biproducts

Conclusions: finite coproducts, finite products, zero morphisms

Reason: This holds by definition of biproducts.