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.
Articles by others on the same topic
There are currently no matching articles.