強モナドの先端モノイド

F = (F, μ, η, τ)が強モナドのとき、テンソル強度を使ってF(1)上のモノイド構造を入れることができる。このモノイドをFの先端モノイド（apex monoid）と呼ぶことにする。

ApexMon:StrongMonad(C)→Monoid(C) という関手となる。例えば、Listモナドの先端モノイドは自然数の掛け算モノイドとなる。

モナドの先端モノイドは、いつ可換になるのだろう？ たぶん可換モナドの先端モノイドは可換なのだろう。