Model weak equivalence
ID: model-weak-equivalence
A morphism in the chosen weak-equivalence class of a model category. In the projective model structure on nonnegative chain complexes these are quasi-isomorphisms.
New to topics? Read the docs here!