## You are here

Homesupplemental axioms for an Abelian category

## Primary tabs

# supplemental axioms for an Abelian category

These are axioms introduced by Alexandre Grothendieck for an Abelian category. The first two are satisfied by definition in an Abelian category, and others may or may not be.

- (Ab1)
- (Ab2)
Every monic is the kernel of its cokernel.

- (Ab3)
Coproducts exist. (Coproducts are also called direct sums.) If this axiom is satisfied the category is often just called cocomplete.

- (Ab3*)
- (Ab4)
Coproducts exist and the coproduct of monics is a monic.

- (Ab4*)
Products exist and the product of epics is an epic.

- (Ab5)
Coproducts exist and filtered colimits of exact sequences are exact.

- (Ab5*)
Products exist and filtered inverse limits of exact sequences are exact.

Grothendieck introduced these in his homological algebra paper *Sur quelques points d’algèbre homologique* in the Tôhoku Math Journal (number 2, volume 9, 1957). They can also be found in Weibel’s excellent book *An introduction to homological algebra*, Cambridge Studies in Advanced Mathematics (Cambridge University Press, 1994).

## Mathematics Subject Classification

18-00*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections