Kategorielle Grundbegriffe: abelsche Kategorien
Eine Kategorie A heißt abelsch, wenn gilt
- A ist eine additive Kategorie
- Jeder Morphismus in A besitzt einen Kern und einen Kokern
- Jeder Monomorphismus ist Kern eines Morphismus, jeder Epimorphismus
ist Kokern eines Morphismus.