『圏論による論理学』

https://gyazo.com/fb3481c82e0c18ac6defb8ec5fbb0769

2007/12/18

1章

序

第1章 関数型高階論理

第3章 トポスの基本定理

第4章 プルバック関手<i>ｆ</i> *の右-随伴関手<i>Π</i>_f

第5章 リミット、空間性トポス、限量記号

結び

付録１　A∧( ) ┤A⊃( )のイメージ的理解

付録２　各章の課題

主な記号一覧／索引