Sætning 1: Det betyder, at homotopieækvivalensen mellem M, W og N er homotopisk til en C-isomorfisme. Sætning 2: Det betyder, at den homotopiske ækvivalens mellem M, W og N er homotopisk en C-isomorfisme. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Ja, det gør jeg.