Additive category

This article defines a notion of a category along with some additional structure.
View other such notions

Definition

An additive category is defined as a preadditive category that also admits finite biproducts.

Relation with other structures

Stronger structures

• Abelian category

Weaker structures

• Preadditive category