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.
New to topics? Read the docs here!
New to topics? Read the docs here!