Relative homotopy of a Serre fibration

ID: relative-homotopy-of-a-serre-fibration

For a based Serre fibration with fibre over the basepoint, lift a based cube in from its constant bottom face, keeping the side faces fixed. Its final face lies in , giving surjectivity of the relative map. Homotopies in lift; two lifts of the same cube are relatively homotopic by lifting with both side liftings prescribed. This gives injectivity. For this is a group isomorphism; at it is initially a bijection of pointed sets, unless the relative set is endowed with the group law transported through the fibration.

New to topics? Read the docs here!