Cofibration (source code)

= Cofibration
{wiki}

A cofibration is a map with the <homotopy extension property>. An inclusion of a <CW complex> into another as a subcomplex is a cofibration; collapsing that subcomplex gives the quotient used in the <K-theory six-term exact sequence>.