Quasi-isomorphisms of short complexes #
This file introduces the typeclass
QuasiIso φ for a morphism
φ : S₁ ⟶ S₂
of short complexes (which have homology): the condition is that the induced
homologyMap φ in homology is an isomorphism.
φ : S₁ ⟶ S₂ of short complexes that have homology is a quasi-isomorphism if
the induced map
homologyMap φ : S₁.homology ⟶ S₂.homology is an isomorphism.
the homology map is an isomorphism