Lause 1: Tämä tarkoittaa, että M: n, W: n ja N: n homotopian ekvivalenssi on homotopi C-isomorfismille. Lause 2: Tämä tarkoittaa, että M: n, W: n ja N: n homotooppinen vastaavuus on homotooppisesti C-isomorfismia. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.