Two maps
M
N
,
X
Y
and a functor
Mod
R
⊗
k
R
Mod
R