Acyclic fibration in the projective chain-complex model structure
ID: acyclic-fibration-in-the-projective-chain-complex-model-structure
A map that is both a model fibration and a quasi-isomorphism. The homology isomorphism together with degree-one surjectivity forces surjectivity in degree zero. Equivalently it has the right lifting property against the generating cofibrations for nonnegative chain complexes.
New to topics? Read the docs here!