Keywords: HomotopyLiftingProperty-01.png math Commutative diagram illustrating the homotopy lifting property TeX source \begin diagram E \\ \ruTo \makebox10pt \tilde f \dTo> \pi \\ X\times I \rTo_ \quad f B \\ \end diagram Commutative triangles Homotopy lifting property |