圏論による論理学 - 東京大学出版会20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．関数概念を基本として現象をとらえようというこの方法を，関数型高階論理とトポスを題材にして丁寧に解説する．論理学の観点を中心に，圏論の考え方を紹介するテキスト． 序 第1章 関数型高階論理 第2章 トポス 第3章 トポスの基本定理 第4章 プルバック関手<i>ｆ</i> *の右-随伴関手<i>Π</i><sub>f</sub> 第5章 リミット、空間性トポス、限量記号 結び 付録１ A∧( ) ┤A⊃( )のイメージ的理解 付録２ 各章の課題 主な記号一覧／索引
