A map $f:X\to Y$ satisfies the homotopy lifting property if given any space $A$ and a map $g:A\to X$ and a homotopy $h$ of $f\circ g$, we have a homotopy $h^{{\prime}}$ of $g$, satisfying $f\circ h^{{\prime}}=h$.