圏論による論理学 高階論理とトポス

清水義夫【著】

• 販売会社／発売会社: 東京大学出版会
• 発売年月日: 2007/12/20
• JAN: 9784130120579

商品レビュー

2025/04/15

はじめに
序
1 関数型高階論理
2 トポス
3 トポスの基本定理
4 プルバック関手f^*の右-随伴関手Π_f
5 リミット、空間性トポス、限量記号
結び
付録
おわりに

2019/08/12

内容としては竹内外史の層圏トポスなんだけど、圏を最低限だけさらっとやったら、さっさとトポスを定義する実践スタイルで読みやすかった。後半も細かい証明をとりあえず無視して読めば一瞬で読める。

2012/01/14

λ-h.o.l.　の　h.o.l.が、　higher order logicであることを始めてしりました。
圏論とうものがあり、トポスというものが役立ちそうだという感触が得られました。