2012-04-03から1日間の記事一覧
Cをモノイド圏だとします。Cがデカルト圏であることは要求しませんが、モノイド積双関手を×、モノイド単位対象をIと記します。M = (M, e, m) をC内のモノイドとします。ここで、MはCの対象で、e:I→M、m:M×M→M はそれぞれ単位元と乗法です。モノイドMに対して…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
Cをモノイド圏だとします。Cがデカルト圏であることは要求しませんが、モノイド積双関手を×、モノイド単位対象をIと記します。M = (M, e, m) をC内のモノイドとします。ここで、MはCの対象で、e:I→M、m:M×M→M はそれぞれ単位元と乗法です。モノイドMに対して…