bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellで学ぶ圏論・ウォームアップ編 １．足し算 小学校に入って最初に学ぶのが足し算である。小学校低学年での足し算は、自然数(0で始まる正の整数)に自然数を加えることである。従って、圏論で考えると、対象は自然数\( \mathbb {N}\)、射は自然数を加える( \(+i \in \mathbb {N}\) )ということになりそうである。そこで、これを図で示すと以下のようになる。 上記の図で、射の合成は次のように定めた。\( (+j) \circ (+i) (x) = (+i) ( (+i) (x)) \)、ここで、\(x \in \mathbb {N}\)である。 ２．Haskellでの実装 最初に自然数を用意する必要があるが… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F01%2F30%2F134858" 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/20150128/20150128091609.png Hatena Blog https://hatena.blog 2015-01-30 13:48:58 rich https://bitterharvest.hatenablog.com/entry/2015/01/30/134858 1.0 100%