コホモロジーで消耗しすぎじゃないのおっさん(お疲れ様です)

悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。

http://www.mathematik.uni-regensburg.de/cisinski/CatLR.pdf