Saz 1: Dëst bedeit datt d' homotopesch Äquivalenz tëscht M, W an N eng Homotopie vun engem C-Isomorphismus ass. Saz 2: Dat heescht, datt d'homotopesch Äquivalenz tëscht M, W an N eng Homotopie zu engem C-Isomorphismus ass. Fro: Hunn de Saz 1 an de Saz 2 déiselwecht Bedeitung? Jo oder Nee?
Jo, et ass