1. mondat: Ez azt jelenti, hogy az M, W és N közötti homotóp egyenérték egy C-izomorfizmus homotópja. 2. mondat: Ez azt jelenti, hogy az M, W és N közötti homotopikus egyenértékűség egy C-izomorfizmus homotopja. Kérdés: Az első és a második mondat ugyanazt jelenti? - Igen vagy nem?
- Igen, igen.