圏論の勉強をはじめた - TSUGULOG

圏論の勉強をはじめたので、現状を記録しておく。 なぜはじめたのか 個人的にHaskellを時々触っているため、前々から圏論を勉強してみたい、とは思っていたが、今回、ふと一念発起してはじめた。 どう勉強しているか プログラマのための圏論 という素晴らしい導入記事があるので、まずはこちらを見ながら雰囲気を掴んでいった。 その後、一度有名な参考書のいずれかを見てみようと思い、参考書を探した。 圏論の基礎 ベーシック圏論 普遍性からの速習コース などいくつか候補があったが、 Category Theory / Steve Awodey の評判がよさそうだったので、こちらにした。尚、和訳版はあまり評判がよくなさそうだったので、原著を読むことにした。 読んでいる間はできるだけ細かく書き出しながら精読することを心掛けた1。 また、 Steve Awodey の Category Theory を読む と

[k0yoshitsugu]

圏論まだ全然わからないけど鋭意勉強中です。