homotopy lifting property

A map f:XY satisfies the homotopy lifting property if given any space A and a map g:AX and a homotopyMathworldPlanetmath h of fg, we have a homotopy h of g, satisfying fh=h.

Title homotopy lifting property
Canonical name HomotopyLiftingProperty
Date of creation 2013-03-22 15:38:01
Last modified on 2013-03-22 15:38:01
Owner whm22 (2009)
Last modified by whm22 (2009)
Numerical id 6
Author whm22 (2009)
Entry type Definition
Classification msc 55R65
Related topic fibremap
Related topic FibreBundle
Related topic LocallyTrivialBundle
Related topic LongExactSequenceLocallyTrivialBundle
Related topic fibrationMathworldPlanetmath
Related topic homotopyextensionproperty
Defines homotopy lifting property