Source: wikibot/homotopy-lifting-property
= Homotopy lifting property
{wiki=Homotopy_lifting_property}
The Homotopy Lifting Property (HLP) is a fundamental concept in algebraic topology, particularly in the study of fiber bundles and covering spaces. It describes how homotopies (continuous deformations) can be lifted from the base space to a total space in a fibration or covering space situation.