additive category

Let \(\mathcal{C}\) be a preadditive category. Then \(\mathcal{C}\) is said to be additive, if it admits finite coproducts

see:

• finite coproduct and finite product in an ab-enriched category