読者です 読者をやめる 読者になる 読者になる

圏論事始め

圏論

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
圏論関連本

圏論の基礎
圏論と言えば、この本だが、完全に初心者お断り状態。

圏論による論理学―高階論理とトポス
上記のマックレーン本よりは、平易であると思う。
論理とか公理の知識がないと1章は面食らう。

層・圏・トポス―現代的集合像を求めて
その内欲しい。

広告を非表示にする