圏論による論理学 の商品レビュー

清水義夫【著】

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であることを始めてしりました。
圏論とうものがあり、トポスというものが役立ちそうだという感触が得られました。