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

清水義夫【著】

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

商品レビュー

2019/08/12

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

2012/01/14

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