18/10/20 09:56:52.05 qNBXE6JD.net
見つけたから貼っておく（＾＾
URLﾘﾝｸ(study-guide.hatenablog.jp)
URLﾘﾝｸ(study-guide.hatenablog.jp)
「圏論」は関数プログラミングの「モナド」に役立つ。入門PDF等のリンク集 2014-04-03
圏論を学ぶ目的は，HaskellやScalaなどの関数型プログラミング言語をよく理解するため，としてよい。
モナドを実装するために必要という応用がある。
オンラインで圏論を学ぶための教科書：
役に立つ読み物
関数プログラミングと関連が深い
とくに，モナドを考えるために圏論が必須！
本格的に学ぶには？
オンラインで圏論を学ぶための教科書：
オンラインで圏論を学ぶための教科書：
「圏と関手入門」
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
100ページ以上あるオンライン入門書
圏論は面白い（１） メタグラフ : tnomuraのブログ
圏論は面白い(3) メタ圏 : tnomuraのブログ（2は存在しない）
圏論は面白い(4) メタ圏(2) モノイド : tnomuraのブログ
圏論は面白い(5) 関手 : tnomuraのブログ
圏論は面白い(6) 自然変換 : tnomuraのブログ
圏論は面白い(7) 随伴 : tnomuraのブログ
圏論は面白い(8) モナド : tnomuraのブログ
圏論の攻略法 : tnomuraのブログ（オブジェクトが何か、射がなにかということは置いておいて、オブジェクトと射の代数を学ぶつもりで）
プログラマのための圏論攻略法 : tnomuraのブログ（プログラマが圏論を学習したいと思う理由の第一はIOモナドを理解したいという欲求）
圏論の言葉 : tnomuraのブログ（Haskell の記法は圏を記述するのに便利）
圏論の言葉 その２ : tnomuraのブログ（point は集合の要素の一個を関数で表現したものだが、集合の全射や、単射を圏論の言葉で扱うときに重要）
つづく