computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 圏論 斜めの線を使わない圏論 まだ圏論の詳しい説明に入っていませんがしばらくこのまま続けます。自由群の説明ができるぐらいまでなんとか数式で説明していきたいのですが、どこまでできるか調べているところです。直積と直和(圏論の用語では積と余積)で作られた以下の集合を考えます。これに と の積を とする演算を定義すると で生成された自由モノイドになります。次にHaskellなどの代数的データ型について考えます。たとえばリストは以下のような定義になります。 data List a = Nil | Cons a (List a) 直積と直和を使って再帰的に書くと と書くことができて構築子 で自由生成されたものと考えることができます。非… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F03%2F16%2F011512" title="斜めの線を使わない圏論(2) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20X%5E%2A%20%3D%201%20%2B%20X%20%2B%20X%5E2%20%2B%20X%5E3%20%2B%20%5Ccdots Hatena Blog https://hatena.blog 2020-03-16 01:15:12 rich https://computeralgebra.hatenablog.com/entry/2020/03/16/011512 1.0 100%