Additive category: Difference between revisions

From Cattheory
(New page: {{category plus additional structure}} ==Definition== An '''additive category''' is defined as a preadditive category that also admits finite products and coproducts. ==Rela...)
 
No edit summary
Line 3: Line 3:
==Definition==
==Definition==


An '''additive category''' is defined as a [[preadditive category]] that also admits finite [[product]]s and [[coproduct]]s.
An '''additive category''' is defined as a [[preadditive category]] that also admits finite [[biproduct]]s.


==Relation with other structures==
==Relation with other structures==

Revision as of 02:09, 10 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 also admits finite biproducts.

Relation with other structures

Stronger structures

Weaker structures