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

数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。