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 admits finite biproducts and has a zero object.

Relation with other structures

Stronger structures

• Abelian category
• Preabelian category

Weaker structures

• Preadditive category