Methods of Homological Algebra
《Methods of Homological Algebra》 · 第 145 页 · Chapter III, Section 2.1
For an abelian category \(\mathcal A\), the derived category \(D(\mathcal A)\) is obtained by localizing the category of complexes at the quasi-isomorphisms.