加群圏の圏

Cをモノイド圏として、C上の加群圏は定義できる。so-calledフォークロは、ケイリー型の表現を与えると言っていい -- Dを台とする加群＝D上の表現 ということだ。加群圏の場合は、表現がモノイド関手である、という条件が付く。

一般化されたテンソル強度を使うと、強関手＝加群圏の準同型関手を定義できる。これにより、固定されたCに対する加群圏と加群圏準同型関手の圏が出来る。これをMod[C]とする。

Mod[-]はインデックス付き圏となる。ベース圏はMonCat。