Serre fibration (source code)

= Serre fibration
{c}
{wiki}

A Serre fibration is a map having the <homotopy lifting property> with respect to every disc, equivalently every CW complex.