Fibration (source code)

= Fibration
{wiki}

A fibration is a map with the <homotopy lifting property>. A Hurewicz fibration has this property for every source space; a <Serre fibration> requires it for <CW complexes>. Replacing a map by a fibration gives a model for its <homotopy fiber sequence>.