Finite Coproduct in Preadditive Category is Biproduct

Also see

 * Finite Product in Preadditive Category is Biproduct