Methods of Homological Algebra
《Methods of Homological Algebra》 · 第 189 页 · Chapter III, Section 6.6
The derived functor of an additive left exact functor \(F:\mathcal A\to\mathcal B\) is an exact functor \(RF:D^+(\mathcal A)\to D^+(\mathcal B)\) together with the specified natural morphism satisfying its universal property.