Abelsk kategori
Fra Wikipedia, den frie encyklopedi
I matematikken er en abelsk kategori en kategori innenfor abstrakt algebra. Eksempelvis er kategorien av alle abelske grupper en abelsk kategori. En kategori er abelsk hvis følgende krav er innfridd:
- den inneholder et nullobjekt, 0
- hvert par av objekter har en sum og et produkt
- hver avbildning har en kjerne og en cokjerne
- enhver monomorfisme er en kjerne og enhver epimorfisme er en cokjerne
[rediger] Se også
[rediger] Litteratur
- Freyd, Peter: Abelian Categories. New York, Harper and Row. (1964)
