bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellで学ぶ圏論・入門編 １．モノイド圏 四則演算や論理演算など、単位元を有し結合律を満たす二項演算はモノイドと呼ばれる。この圏は次のように構成される。 (1) 対象：一つ（通常★で表される） (2) 射：二項演算子の左あるいは右に表れる数（あるいは元） (3) ドメインとコドメイン：★ (4) 恒等射：\(id\)（通常は0または1） (5) 合成：二項演算子そのもの 単位律と結合律に関する二つの条件は満たす。例：整数の加算 構成 (1) 対象：★ (2) 射：\( i \in \mathbb{Z} \) (3) ドメインとコドメイン：★ (4) 恒等射：0 (5) 合成：+ 条件は以下のように満たしている。 (1)… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F03%2F21%2F072434" 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> http://cdn-ak.f.st-hatena.com/images/fotolife/b/bitterharvest/20150319/20150319072728.png Hatena Blog https://hatena.blog 2015-03-21 07:24:34 rich https://bitterharvest.hatenablog.com/entry/2015/03/21/072434 1.0 100%