Garbe/Kommutative Gruppen/Komplex/Globale Auswertung/Fakt

Aus Wikiversity

Es sei ein topologischer Raum und sei

ein Komplex von Garbenhomomorphismen von Garben von kommutativen Gruppen auf .

Dann ist auch

ein Komplex.