Implication Details

Claim: If a category has finite coproducts and is preadditive, then it has finite products.

Proof: See Mac Lane, VIII.2., Theorem 2.

This implication has a dual.