Garbe/Kommutative Gruppen/Komplex/Globale Auswertung/Fakt/Beweis

Beweis

Die Voraussetzung bedeutet einfach, dass ${}d'\circ d$ die Nullabbildung ist. Dann ist insbesondere die globale Auswertung die Nullabbildung.

Zur bewiesenen Aussage