Свойство гомотопического подъема

• В теории гомотопий свойство гомотопического подъема поддерживает изображение одного топологического пространства над другим. 
• Это свойство позволяет переместить гомотопию из одного пространства в другое. 
• Формальное определение свойства гомотопического подъема включает поднятие гомотопии и карты, удовлетворяющие определенным условиям. 
• Диаграмма показывает ситуацию, когда гипотезы о свойстве подъема верны, и подъемный механизм соответствует пунктирной стрелке. 
• Двойственность Экмана-Хилтона связывает свойство гомотопического подъема с гомотопическим расширением. 
• Расслоение определяется как пространство, удовлетворяющее свойству гомотопического подъема. 
• Существует обобщение свойства гомотопического подъема и гомотопического расширения, включающее пару пробелов и карту.