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 want to know what standard terminology is for a category which satisfies the first three axioms but not necessarily the last.

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.

category with biproducts, thereby avoiding adding yet another name! $\endgroup$ – Mariano Suárez-Álvarez Jan 20 '10 at 13:51