# 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 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.

-
I'd just say category with biproducts, thereby avoiding adding yet another name! –  Mariano Suárez-Alvarez Jan 20 '10 at 13:51

One sometimes encounters the term "R-additive category" for an additive category enriched in R-Mod. Given that, maybe "$\mathbb{N}$-additive category" is an alternative, pretending that the usual usage of "additive" is short for "$\mathbb{Z}$-additive"?