![]() | ||
In mathematics, in the area of algebraic topology, the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space. The homotopy extension property of cofibrations is dual to the homotopy lifting property that is used to define fibrations.
Contents
Definition
Let
That is, the pair
If the pair has this property only for a certain codomain
Visualisation
The homotopy extension property is depicted in the following diagram
If the above diagram (without the dashed map) commutes (this is equivalent to the conditions above), then pair (X,A) has the homotopy extension property if there exists a map
Note that this diagram is dual to (opposite to) that of the homotopy lifting property; this duality is loosely referred to as Eckmann–Hilton duality.
Properties
Other
If
In fact, if you consider any cofibration