<-- Go Back Last Updated: 19/08/2026
A preadditive category \(\mathcal{A}\) is further called `additive' if it has all finite biproducts, i.e. it has a zero object and direct sums (in particular direct products and coproducts coincide).