Additive category: Difference between revisions

From Cattheory
No edit summary
No edit summary
 
Line 3: Line 3:
==Definition==
==Definition==


An '''additive category''' is defined as a [[preadditive category]] that also admits finite [[biproduct]]s.
An '''additive category''' is defined as a [[preadditive category]] that admits finite [[biproduct]]s and has a [[zero object]].


==Relation with other structures==
==Relation with other structures==
Line 10: Line 10:


* [[Weaker than::Abelian category]]
* [[Weaker than::Abelian category]]
 
* [[Weaker than::Preabelian category]]
===Weaker structures===
===Weaker structures===


* [[Stronger than::Preadditive category]]
* [[Stronger than::Preadditive category]]

Latest revision as of 06:45, 26 December 2008

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

Weaker structures