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 identitetselement.
- Hvert par av objekter har en sum og et produkt.
- Hver avbildning har en kjerne og en kokjerne.
- Enhver monomorfi er en kjerne og enhver epimorfi er en kokjerne.
[rediger] Se også
[rediger] Litteratur
- (1964). Abelian Categories.. Harper and Row, New York.