additive category
Appearance
English
[edit]Noun
[edit]additive category (plural additive categories)
- (mathematics) A preadditive category in which all finite biproducts (including the empty biproduct, which by definition must be a zero object) exist.