_{R}^{n}(A,B)=(R^{n}T)(B)}で定義される。}を計算することによって計算できる。この複体のホモロジーである。複体から除かれていることに注意せよ。使って別の定義が与えられる。_{R}^{n}(A,B)=(R^{n}G)(A)}と定義できる。}を計算して双対的に続けることによって計算できる。この複体のホモロジーである。除かれていることに再び注意する。関手を計算するのにどちらを使ってもよい。R-加群の圏を表記する。可換環であれば、2つの圏は一致する。