圏論による論理学

高階論理とトポス

東京大学出版会
清水義夫　

• 価格: 3,080円（本体2,800円＋税）
• 発行年月: 2007年12月
• 判型: Ａ５
• ISBN: 9784130120579

内容情報

[BOOKデータベースより]

第１章　関数型高階論理（関数型高階論理の考え方；高階論理λ‐ｈ．ｏ．ｌ．のタイプと項　ほか）
第２章　トポス（圏；トポス　ほか）
第３章　トポスの基本定理（Ｉ上バンドルの圏Ｂｎ（Ｉ）；関手　ほか）
第４章　プルバック関手ｆの右‐随伴関手２ｆ（トポスの基礎的な諸性質；パーシャルアロー・クラシファイヤーの存在定理　ほか）
第５章　リミット、空間性トポス、限量記号（リミットとコリミット；空間性トポスＴｏｐ（１）　ほか）

[日販商品データベースより]

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