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