Lause 1: Tämä tarkoittaa, että M: n, W: n ja N: n homotooppinen vastaavuus on homotooppisesti C-isomorfismia. 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?
- Ei, ei.