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

F = (F, μ, η, τ)が強モナドのとき、テンソル強度を使ってF(1)上のモノイド構造を入れることができる。このモノイドをFの先端モノイド（apex monoid）と呼ぶことにする。ApexMon:StrongMonad(C)→Monoid(C) という関手となる。例えば、Listモナドの先端モノイ…