1. lause: See tähendab, et homotoopia ekvivalentsus M, W ja N vahel on C-isomorfismile homotoopiline. Lause 2: See tähendab, et homotoopiline ekvivalentsus M, W ja N vahel on homotoopiline C-isomorfism. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Jah, ma tean.