additive category

noun1

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