The quotient of \(\mathrm{Ch}^b(\mathcal C)\) by the nullhomotopic chain maps is the chain homotopy category \(\mathrm{K}^b(\mathcal C)\). An isomorphism between objects of \(\mathrm{K}^b(\mathcal C)\) is called a chain homotopy equivalence. 13
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2