An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 17 页 · Definition 1.4.4
A chain map \(f:C\to D\) is a chain homotopy equivalence if there is \(g:D\to C\) such that \(gf\) and \(fg\) are chain homotopic to the respective identity maps.