Цахим шуудангийн бүртгэл: Гладкие многообразия и их применения в теории гомотопий