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

清水義夫【著】

2019/08/12

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

2012/01/14

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