本の紹介 : 圏論

Tom Leinster 「ベーシック圏論普遍性からの速習コース」 (2017)

1. 圏・関手・自然変換
2. 随伴
3. 休憩:集合論について
4. 表現可能関手
5. 極限
6. 随伴・表現可能関手・極限

Saunders MacLane 「圏論の基礎」 (2012)

1. 圏，関手，自然変換
2. 圏の構築
3. 普遍的構成と極限
4. 随伴
5. 極限
6. モナドと代数
7. モノイド
8. アーベル圏
9. 特別な極限
10. カン拡張
11. モノイダル圏における対称性と組み上げ
12. 圏の中の構造
A. 基礎論

清水義夫「圏論による論理学 - 高階論理とトポス」 (2007)

1. 関数型高階論理
2. トポス
3. トポスの基本定理
4. プルバック関手fの右‐随伴関手2f
5. リミット、空間性トポス、限量記号

竹内外史「層・圏・トポス - 現代的集合像を求めて」 (1978)

1. 層
2. 圏
3. トポス
4. 直観論理
5. 高階直観論理