additive category

Short definition from Wiktionary

Noun

1. 1
   A preadditive category in which all finite biproducts (including the empty biproduct, which by definition must be a zero object) exist.