- 377 名前：デフォルトの名無しさん mailto:sage [2007/12/24(月) 12:55:59 ]
- 哲板から転載
読んだ人いる？
圏論による論理学 高階論理とトポス
清水 義夫
ISBN978-4-13-012057-9,
発売日:2007年12月中旬,
判型:Ａ５, 232頁
内容紹介
20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．
関数概念を基本として現象をとらえようというこの方法を，
関数型高階論理とトポスを題材にして丁寧に解説する．
論理学の観点を中心に，圏論の考え方を紹介するテキスト．
主要目次
序
第1章 関数型高階論理
第2章 トポス
第3章 トポスの基本定理
第4章 プルバック関手ｆ *の右-随伴関与Πf
第5章 リミット、空間性トポス、限定記号
結び
付録１ A∧( ) ┤A⊃( )のイメージ的理解
付録２ 各章の課題
主な記号一覧／索引
