Homotopy Extension Property - Other

Other

If has the homotopy extension property, then the simple inclusion map is a cofibration.

In fact, if you consider any cofibration, then we have that is homeomorphic to its image under . This implies that any cofibration can be treated as an inclusion map, and therefore it can be treated as having the homotopy extension property.

Read more about this topic:  Homotopy Extension Property