mathlib documentation

algebra.homology.quasi_iso

Quasi-isomorphisms #

A chain map is a quasi-isomorphism if it induces isomorphisms on homology.

Future work #

Prove the 2-out-of-3 property. Define the derived category as the localization at quasi-isomorphisms?

@[class]

A chain map is a quasi-isomorphism if it induces isomorphisms on homology.

Instances