Category theory MOC

Additive category

An additive category is a category which is enriched over and admits finite biproducts, #m/def/cat thus

• Products and coproducts agree in a canonical way;
• A Zero object exists; and
• Hom-sets are abelian groups and composition is bilinear.

A stronger notion is a Preäbelian category.

#state/develop | #lang/en | #SemBr