Frase 1: Isto significa que a equivalencia homotópica entre M, W e N é unha homotopía dun C-isomorfismo. Frase 2: Isto significa que a equivalencia homotópica entre M, W e N é homotopia a un C-isomorfismo. Pregunta: A frase 1 e a frase 2 expresan o mesmo significado? Si ou non?
Si, si.