Основной тип проблемы, который встречается повсюду в математике, - это проблема поднятия: дано некоторое пространство, которое «находится над» другим «основным» пространством из-за проекционного отображения, и некоторое отображение из третьего пространства в основное пространство, найти «поднятие» отображения в , то есть отображение такое, что […]