Kamus

\mathrm {Ab} } はインプットとして右と左 R-加群を受け付けアーベル群の圏のテンソル積にそれらを割り当てる双関手（英語版）である。 右 R 加群 M を固定することによって関手 M ⊗ R − : R - M o d → A b {\displaystyle M\otimes _{R}-:R{\mbox{-}}\mathrm