bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論(特論) ３． モノイドとコモノイド 今回はモノイド(monoid)と、そして、その双対であるコモノイド(comonoid)を説明しよう。モノイドという用語を使うと難解だと感じる読者も多いことだろうが、小学校以来学んできた足し算や掛け算などの多くの二項演算に関するものだ。モノイドという概念を、最初に理論的に学ぶのはおそらく群論だろう。今回は、群論から入って、圏論の世界へと進み、Haskellで実現するという長い旅に出ることにしよう。 ３．１ 群論における半群とモノイド 群論のスタートとなるのは半群だ。殆どの二項演算がこれに属す。その定義は次のようになっている。 [半群の定義] 集合\(S\)とその上の二… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2019%2F04%2F18%2F133250" title="モノイドを攻略する - bitterharvest’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20190301/20190301105316.png Hatena Blog https://hatena.blog 2019-04-18 13:32:50 rich https://bitterharvest.hatenablog.com/entry/2019/04/18/133250 1.0 100%