Lause 1: Tämä tarkoittaa sitä, että M: n, W: n ja N: n välinen homotooppinen vastaavuus on C-isomorfismin homotopia. Lause 2: Tämä tarkoittaa sitä, että M: n, W: n ja N: n välinen homotooppinen vastaavuus on C-isomorfismille homotooppinen. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Kyllä.