bitterharvest https://blog.hatena.ne.jp/bitterharvest/ bitterharvest’s diary https://bitterharvest.hatenablog.com/ Haskellで学ぶ圏論・ウォームアップ編 １．圏論とは 圏論の圏という単語は、どのような時に使われるのであろうか。合格圏とか不合格圏とか、模擬試験の成績を指標に判断された、受験生の時の苦い経験と結びつけて思い出す人もいる。東京あるいは東京寄りに住んでいる人は首都圏と結びつける可能性もある。宇都宮や高崎に住んでいる人たちは首都圏に属しているのかそうでないのかで迷うこともあるであろう。このように、圏という単語は、範囲を定めるときに用いる。この定義を用いると、圏論とは「範囲を定めること」について論じる数学ということになる。しかし、この定義では、「どのようにして」範囲を定めるのかについて説明がなされていないので、何となく中途半端に投げ出された… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fbitterharvest.hatenablog.com%2Fentry%2F2015%2F01%2F27%2F115726" 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/20150127/20150127093838.png Hatena Blog https://hatena.blog 2015-01-27 11:57:26 rich https://bitterharvest.hatenablog.com/entry/2015/01/27/115726 1.0 100%