bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ プログラマーのための圏論 (初級編：圏論とHaskell) １３．モノイド モノイド圏は、集合の要素を射に、二項演算子を射の合成に、そして、単位元を恒等射にし、結合律、単位律が成り立っているものをいう。例えば、整数の乗算の場合には、 1) 対象：シングルトン(通常星印で表される) 2) 射：整数 3) ドメイン、コドメイン：シングルトン 4) 恒等射：1 5) 合成: \(\times\) ① 結合律：満足 ② 単位律：満足しかし、上記の例でみたように射は集合の要素となるので、圏としては、余りにも細かいものが見えて気持ちよくない。そこで、構成要素を隠すように抽象化したい。しかし、いきなり、抽象化の議論を進めるのは気が引けるので、モノイドとは何かをHas… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2017%2F09%2F22%2F090425" title="モノイドーHaskellでの表現 - 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> Hatena Blog https://hatena.blog 2017-09-22 09:04:25 rich https://bitterharvest.hatenablog.com/entry/2017/09/22/090425 1.0 100%