Topologischer Raum/Garbe/Globale Auswertung/Linksexakt und genügend Injektive/Beispiel

Es sei ein topologischer Raum und es sei die Kategorie der Garben von kommutativen Gruppen auf , also die Zuordnung . Es sei

die Kategorie der abelschen Gruppen und sei die globale Auswertung auf . Dann besitzt genügend Injektive und ist ein kovarianter additiver linksexakter Funktor. Die Linksexaktheit beruht auf Fakt, die Existenz von hinreichend vielen injektiven Garben auf Fakt.