1 sakinys: tai reiškia, kad M, W ir N homotopinis ekvivalentas yra C-izomorfizmas. 2 sakinys: tai reiškia, kad M, W ir N homotopinis ekvivalentas yra C izomorfizmo homotopė. Klausimas: Ar 1 ir 2 sakiniai reiškia tą pačią reikšmę? Taip ar ne?
Ne, ne