Terminology: Is there a name for a category with biproducts?
Many people are familiar with the notion of an additive category. This is a category with the following properties:
(1) It contains a zero object (an object which is both initial and terminal).
This implies that the category is enriched in pointed sets. Thus if a product $X \times Y$ and a coproduct $X \sqcup Y$ exist, then we have a canonical map from the coproduct to the product (given by "the identity matrix").
(2) Finite products and coproducts exist.
(3) The canonical map from the coproduct to the product is an equivalence.
A standard exercise shows this gives us a multiplication on each hom space making the category enriched in commutative monoids (with unit).
(4) An additive category further requires that these commutative monoids are abelian groups.
I can't seem to find it using Google or Wikipedia. An obvious guess, "Pre-additive", seems to be standard terminology for a category enriched in abelian groups, which might not have products/coproducts.