圏論事始め
Information
version | date | memo |
---|---|---|
1.0 | 2012/08/12 | first |
概要
圏論関連の記事等のまとめ
リンク
数学的側面からの導入
圏論の雰囲気が簡単に書かれている。群、位相等の知識があれば何となく分かると思われる。
http://alg-d.com/other/category.html
圏論の初歩。こちらは数学的な予備知識が殆ど要らない。
http://d.hatena.ne.jp/m-hiyama/20060821/1156120185
プログラム関連の知識があるとより理解し易いと思われる。
http://pantodon.shinshu-u.ac.jp/topology/literature/index.html
PDF直リン。圏論の導入。結構詳しく書いてある。
http://www.math.nagoya-u.ac.jp/~hasimoto/paper/class/cat10.pdf
PDF直リン。圏論の導入(英語)。
http://www.cs.man.ac.uk/~hsimmons/MAGIC-CATS/CourseNotes-Nov-29.pdf
関数型言語からの導入
http://kurt.scitec.kobe-u.ac.jp/~shg/SFCArchives/docs/shortcut_monad.pdf
Scalaにおける圏について。
https://github.com/quassia88/introduction-to-category-theory-in-scala-jp/wiki
圏論関連本
圏論の基礎
圏論と言えば、この本だが、完全に初心者お断り状態。
圏論による論理学―高階論理とトポス
上記のマックレーン本よりは、平易であると思う。
論理とか公理の知識がないと1章は面食らう。
層・圏・トポス―現代的集合像を求めて
その内欲しい。