L" 是一个 "T"-"S" 双模，则集合 Hom("M","L") of 所有从 "M" 到 "L" "S"-模同态成为一个自然的 "T"-"R" 双模。这些论述推广为导出函子 Ext 与 Tor。可以视为双模的一个范畴推广。注意双模的概念与双代数完全无关。