給定在 單位環 
上的兩個模 
和 
，
表示從 
到 
的所有模同態的集合。它是關於對映加法的 
-模，
 |
(1)
|
以及由下式定義的乘積
 |
(2)
|
對於所有 
。
表示從 範疇 的 
-模到自身的協變函子，它將每個模 
對映到 
，並將每個模同態
 |
(3)
|
對映到模同態
 |
(4)
|
使得，對於每個 
，
 |
(5)
|
對於逆變函子 
給出了類似的定義，它將 
對映到 
並將 
對映到
 |
(6)
|
其中，對於每個 
，
 |
(7)
|
