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.
Claim: If a category has finite coproducts and is preadditive, then it has finite products.
Proof: See Mac Lane, VIII.2., Theorem 2.