Model fibration (source code)

= Model fibration
{title2=$\mathcal F$}

= Fibration in a model category
{synonym}

A morphism in the chosen fibration class of a <model category>. In the <projective model structure on nonnegative chain complexes>, it is surjective in strictly positive degrees; degree zero is not required.