给定在 单位环 
上的两个模 
和 
，
表示从 
到 
的所有模同态的集合。它是关于映射加法的 
-模，
 |
(1)
|
以及由下式定义的乘积
 |
(2)
|
对于所有 
。
表示从 范畴 的 
-模到自身的协变函子，它将每个模 
映射到 
，并将每个模同态
 |
(3)
|
映射到模同态
 |
(4)
|
使得，对于每个 
，
 |
(5)
|
对于逆变函子 
给出了类似的定义，它将 
映射到 
并将 
映射到
 |
(6)
|
其中，对于每个 
，
 |
(7)
|
