Cをモノイド圏だとします。Cがデカルト圏であることは要求しませんが、モノイド積双関手を×、モノイド単位対象をIと記します。M = (M, e, m) をC内のモノイドとします。ここで、MはCの対象で、e:I→M、m:M×M→M はそれぞれ単位元と乗法です。モノイドMに対して…