加群圏とテンソル強度

モノイド圏Cは自分の上に加群圏だが、加群圏のカリー同型定理（本編で扱ったフォークロア）により、End(C) へのモノイド関手が決まる。このモノイド関手の乗法（あくまで関手の乗法）がモノイド積の結合律子（associator）で、モノイド関手の左右の単位がモノイド積の単位律子（unitor）になっている。

テンソル強度は、CからEnd(C)へのモノイド関手とEnd(C)の対象（C上の自己関手）との交換（分配法則）で定義される。モノイド加群の議論としてテンソル強度を扱えるのではないか。

それと、2つのラックスモノイド関手のあいだのベックの分配法則も定義出来そうな気がする。