張量積函子

對於每個模 在一個單位環 上，張量積函子 是從 範疇 的 協變函子 -模 到自身的對映。它將每個 -模 對映到 ，並將每個 模同態 對映到 模同態

定義為

張量積函子 的定義類似。