左R加群の圏から左S加群の圏への直和と可換なすべての右完全関手Fに対して、ホモロジー代数の定理よりある(S,R)両側加群Eが存在して、関手F(–)は関手E⊗R–と自然同型である。
对任何从左R-模范畴到左S-模范畴的与直和交换的右正合函子F，同调代数的一个定理指出存在一个(S,R)-双模E使得F自然等价于E⊗R−{\displaystyleE\otimes_{R}-}。