Exakter Funktor
Exakter Funktor ist ein mathematischer Begriff aus der Kategorientheorie.
Definition
Ein additiver, kovarianter Funktor heißt
- halbexakt, falls exakt ist
- linksexakt, falls exakt ist
- rechtsexakt, falls exakt ist
- exakt, falls exakt ist
für alle kurzen exakten Sequenzen in .
Ein kontravarianter Funktor heißt halb/links/rechts/exakt, falls er dies als kovarianter Funktor ist.
Halbexakte Funktoren zwischen abelschen Kategorien sind additive Funktoren.
Beispiele
- Die Hom-Funktoren und sind linksexakt.
- Die Tensorprodukt-Funktoren und sind rechtsexakt.
- Der Funktor „globale Schnitte“ auf der Kategorie der Garben von abelschen Gruppen in die Kategorie der abelschen Gruppen ist linksexakt, siehe Garbenkohomologie.
- Für eine endliche Gruppe ist der Funktor „G-Invarianten“ von der Kategorie der -Moduln in die Kategorie der abelschen Gruppen linksexakt, siehe Gruppenkohomologie.
- Der Dualraum-Funktor in der Kategorie der Banachräume mit den stetigen linearen Abbildungen als Morphismen ist exakt, wie sich aus dem Satz vom abgeschlossenen Bild ergibt.
- Für eine beliebige natürliche Zahl ist der Funktor
-
- auf der Kategorie der abelschen Gruppen additiv und erhält Mono- und Epimorphismen, ist jedoch nicht exakt.
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 05.08. 2019