双模也成立。但是在双模的世界中仍有某些新结果，特别是张量积：如果 "M" 是一个 "R"-"S" 双模而 "N" 是一个 "S"-"T" 双模，则 "M" 与 "N" 的张量积（在环 "S"上取）自然是一个 "R"-"T" 双模。这个双模的这个张量积是结合（相差惟一一个典范同构），从而我们可以构造一个范畴，其对象是环而态射是双模。进一步，如果 "M" 是一个 "R"-"S" 双模而 "L" 是一个 "T"-"S" 双模，则集合 Hom("M","L") of 所有从 "M" 到 "L" "S"-模同态成为