A chain homotopy equivalence is a homotopy equivalence of chain complexes, hence a chain map that has an inverse up to chain homotopy.
These are the weak equivalences in the Hurewicz model structure on chain complexes.
Last revised on March 31, 2025 at 12:52:13. See the history of this page for a list of all contributions to it.