圏論の勉強をはじめた
圏論の勉強をはじめたので、現状を記録しておく。
なぜはじめたのか
個人的にHaskellを時々触っているため、前々から圏論を勉強してみたい、とは思っていたが、今回、ふと一念発起してはじめた。
どう勉強しているか
プログラマのための圏論 という素晴らしい導入記事があるので、まずはこちらを見ながら雰囲気を掴んでいった。
その後、一度有名な参考書のいずれかを見てみようと思い、参考書を探した。
などいくつか候補があったが、 Category Theory / Steve Awodey の評判がよさそうだったので、こちらにした。尚、和訳版はあまり評判がよくなさそうだったので、原著を読むことにした。
読んでいる間はできるだけ細かく書き出しながら精読することを心掛けた1。
また、 Steve Awodey の Category Theory を読む という証明の補足をしている有り難いブログがあるので、大いに参考にさせてもらった。
わからないことが多い中、悪戦苦闘するのに独学大全が参考になった。
去年末くらいからを少しずつ読みはじめ、半年かかったが一旦最後まで目を通したので、ここまでで一旦記録をしておこうと思い、この記事を書いている。
現状の理解度
現状の主観的な理解度だが、もしこれが大学の講義であれば、まだ単位は取れないであろう、というのが率直な感想だ。 上記の「Steve Awodey の Category Theory を読む」 のブログ記事にもあるが、素養がないとやはり難しいところが多かった。 とはいえ、上記の記事で補足されていることや、そもそも書籍の内容も、良書とされるだけあって、素人でも部分的には理解できるところもあった。
今後について
数学については素養が足りないと感じることが多いので、 圏論に最短で入門する で紹介されている集合論からマイペースにすすめていこうと思う。 また、元々の興味となった、Haskellとのつながりについては、Category Theory for Programmers という有名な記事があるので、こちらも読んでいきたいと思っている。
ちなみにノートはreMarkable2を使っている↩︎
