A morphism in the chosen cofibration class of a model category. In the projective model structure on nonnegative chain complexes it is a degreewise split injection with degreewise projective cokernel. This usage is distinguished from the topological cofibration.
New to topics? Read the docs here!