古典ホモロジー代数の唯一の定理

derived categoryとかGrothendieckのやり方(Tohoku)から振り返ったほうがわかりやすいかと