Sentència 1: Això significa que l' equivalència homotòpica entre M, W i N és homotòpicament un C-isomorfisme. Sentència 2: Això significa que l'equivalència homotòpica entre M, W i N és homotopia d'un isomorfisme C. Pregunta: La frase 1 i la frase 2 expressen el mateix significat? Sí o no?
No, no.