ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2011/08/04/6019188
新井敏康「数学基礎論」、S.マックレーン「圏論の基礎」
の関連。

http://www.amazon.co.jp/exec/obidos/ASIN/4431708723/showshotcorne-22/
圏論の基礎 [単行本]
S.マックレーン (著), 三好 博之 (翻訳), 高木 理 (翻訳)
の素人評に出てくる関連書。

http://www.amazon.co.jp/exec/obidos/ASIN/4130120573/showshotcorne-22/
圏論による論理学―高階論理とトポス [単行本]
清水 義夫 (著)

http://www.amazon.co.jp/exec/obidos/ASIN/4535781095/showshotcorne-22/
層・圏・トポス―現代的集合像を求めて [単行本]
竹内 外史 (著)

http://www.amazon.co.jp/exec/obidos/ASIN/4000053841/showshotcorne-22/
コホモロジーのこころ [単行本]
加藤 五郎 (著)

　上記エントリを書いて、ちょっと検索していたら、びっくり。
　仕事でお世話になってる檜山さんが、圏論のこと書いている。＼(^O^)／
http://d.hatena.ne.jp/m-hiyama/20060821/1156120185
檜山正幸のキマイラ飼育記
2006-08-21 (月)
はじめての圏論 その第1歩：しりとりの圏

　檜山さんといえば、超常現象
http://iiyu.asablo.jp/blog/2010/08/25/5307038
「謎解き超常現象」、「謎解き超常現象 II」
で紹介した
http://www.amazon.co.jp/exec/obidos/ASIN/4883926869/showshotcorne-22/
謎解き 超常現象 (単行本（ソフトカバー）)
ASIOS (著)
か
http://www.amazon.co.jp/exec/obidos/ASIN/4883927393/showshotcorne-22/
謎解き超常現象 II [単行本（ソフトカバー）]
ASIOS (著)
　たぶん、IIのほうで、檜山さんのサイトが突然出ていてびっくりした。
　IIのほうのネタはいくつかあるので、今度、書こうかな。