Gruppe/Kettenkomplex/Homotope Homomorphismen/Kovarianter Funktor/Homotopie/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es seien und Kettenkomplexe von kommutativen Gruppen. Es seien

homotope Homomorphismen von Kettenkomplexen. Es sei ein additiver kovarianter Funktor von der Kategorie der kommutativen Gruppen in die Kategorie der kommutativen Gruppen.

Dann sind auch die induzierten Homomorphismen

zueinander homotop.

Zum Beweis, Alternativen Beweis erstellen