Engineering↗
Chain Homotopy and the Comparison Theorem
Chain homotopy between chain maps, homotopy equivalence, the comparison theorem for projective resolutions, and independence of derived functors from the chosen resolution.
Every page in the KEVOS library tagged Homotopy Equivalence. 1 page.