Homotopy lifting property
= Homotopy lifting property
{wiki}
A map $p:E\to B$ has the homotopy lifting property with respect to $X$ when every homotopy $X\times I\to B$ whose initial map lifts to $E$ has a lift extending that initial lift.
= Homotopy lifting property
{wiki}
A map $p:E\to B$ has the homotopy lifting property with respect to $X$ when every homotopy $X\times I\to B$ whose initial map lifts to $E$ has a lift extending that initial lift.