mathlib documentation

algebra.homology.quasi_iso

Quasi-isomorphisms #

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

Future work #

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 of this typeclass