m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 Cをモノイド圏だとします。Cがデカルト圏であることは要求しませんが、モノイド積双関手を×、モノイド単位対象をIと記します。M = (M, e, m) をC内のモノイドとします。ここで、MはCの対象で、e:I→M、m:M×M→M はそれぞれ単位元と乗法です。モノイドMに対して、圏C上の自己関手 F:C→C を次のように定義できます。 F(X) := M×X F(f:X→Y) = (M×f:M×X→M×Y) さらに、自然変換 η::IdC⇒F と μ::FF⇒F （FFはFの繰り返し結合関手）をMのモノイド構造から定義すると、(F, η, μ)はC上のモナドになります。モノイドからモナドを作る方法… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20120403%2F1333438782" title="モノイドから得られるモナドを特徴付けるには？ （よくワカリマセン） - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-04-03 16:39:42 rich https://m-hiyama.hatenablog.com/entry/20120403/1333438782 1.0 100%