Exakter Funktor

Exakter Funktor ist ein mathematischer Begriff aus der Kategorientheorie.

Definition

Ein additiver, kovarianter Funktor $F:ℭ\to 𝔇$ heißt

• halbexakt, falls $FA\to F{A}^{\prime }\to F{A}^{″}$ exakt ist
• linksexakt, falls $0\to FA\to F{A}^{\prime }\to F{A}^{″}$ exakt ist
• rechtsexakt, falls $FA\to F{A}^{\prime }\to F{A}^{″}\to 0$ exakt ist
• exakt, falls $0\to FA\to F{A}^{\prime }\to F{A}^{″}\to 0$ exakt ist

für alle kurzen exakten Sequenzen $0\to A\to A^{\prime }\to A^{″}\to 0$ in $ℭ$.

Ein kontravarianter Funktor $F:ℭ\to 𝔇$ heißt halb/links/rechts/exakt, falls er dies als kovarianter Funktor ${ℭ}^{op}\to 𝔇$ ist.

Halbexakte Funktoren zwischen abelschen Kategorien sind additive Funktoren.

Beispiele

• Die Hom-Funktoren $\mathrm{H}\mathrm{o}\mathrm{m}(A,-)$ und $\mathrm{H}\mathrm{o}\mathrm{m}(-,B)$ sind linksexakt.
• Die Tensorprodukt-Funktoren $(A\otimes -)$ und $(-\otimes B)$ 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 $G$ ist der Funktor „G-Invarianten“ von der Kategorie der $G$-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 $n>1$ ist der Funktor

$𝔄𝔟\to 𝔄𝔟,M\mapsto nM$

auf der Kategorie der abelschen Gruppen additiv und erhält Mono- und Epimorphismen, ist jedoch nicht exakt.