additive category
Meanings
noun
- A preadditive category in which all finite biproducts (including the empty biproduct, which by definition must be a zero object) exist.
Word forms
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.