A map is said to have the homotopy lifting property (
HLP ) with respect to a space , if:
for each pair of map , and a homotopy starting at , there exists a homotopy such that:
The map is said to be a (Hurewicz) fibration if it has
HLP with respect to all spaces.
In categorical language, the following diagram commutes: