カテゴリ (圏論), トポスを知るために読む本カテゴリ (圏論) とはブルバキ流の集合論とは対照的に, 存在 (集合) ではなく, 関係 (射) を基礎として数学を再定義するものです. 元々は代数幾何学の世界から出たものですが, 自分が関心があるのはトポスなど基礎論的な方面でした. 計算の意味論や型理論, 線形理論など, 計算機科学とも密接な関係があります. 興味からカテゴリ (圏論) を学んでみようと思っている非専門家の方のために, 手元にある参考書を挙げてみます. 層・圏・トポス - 現代的集合象を求めて, 竹内外史, 日本評論社, 1978 古典的な (日本語の) テキストですね. 僕は多分これを読んで圏論を知ったと思う. ぶっ飛んだ. 圏論の基礎, S.マックレーン, シュプリンガー・フェアラーク, 2005 これこそ古典的なテキストの第2版. "Categories for the Working Mathematician
