著者・出版社・関連アーティスト
関連記事
収録内容
| 1 | 第1章 関数型高階論理(関数型高階論理の考え方 |
| 2 | 高階論理λ‐h.o.l.のタイプと項 ほか) |
| 3 | 第2章 トポス(圏 |
| 4 | トポス ほか) |
| 5 | 第3章 トポスの基本定理(I上バンドルの圏Bn(I) |
| 6 | 関手 ほか) |
| 7 | 第4章 プルバック関手fの右‐随伴関手2f(トポスの基礎的な諸性質 |
| 8 | パーシャルアロー・クラシファイヤーの存在定理 ほか) |
| 9 | 第5章 リミット、空間性トポス、限量記号(リミットとコリミット |
| 10 | 空間性トポスTop(1) ほか) |
