右と左
一般に、formula_8 はインプットとして右と左 "R"-加群を受け付けアーベル群の圏のテンソル積にそれらを割り当てるである。