An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 365 页 · Definition
For an additive covariant functor \(T:\mathcal A\to\mathcal C\), with \(\mathcal A\) having enough injectives, the functors \(R^nT\) are called the right derived functors of \(T\).