Visualisation
The homotopy extension property is depicted in the following diagram
If the above diagram (without the dashed map) commutes, which is equivalent to the conditions above, then there exists a map which makes the diagram commute. By currying, note that a map is the same as a map .
Also compare this to the visualization of the homotopy lifting property.
Read more about this topic: Homotopy Extension Property