大学出版部協会

 

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

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

A5判 232ページ
価格:2,800円+税
ISBN978-4-13-012057-9
奥付の初版発行年月:2007年12月

内容紹介

20世紀後半,数学,計算機科学,論理学などの分野で採用されてきている圏論.関数概念を基本として現象をとらえようというこの方法を,関数型高階論理とトポスを題材にして丁寧に解説する.論理学の観点を中心に,圏論の考え方を紹介するテキスト.


目次


第1章 関数型高階論理
第2章 トポス
第3章 トポスの基本定理
第4章 プルバック関手 *の右-随伴関手Πf
第5章 リミット、空間性トポス、限量記号
結び
付録1 A∧( ) ┤A⊃( )のイメージ的理解
付録2 各章の課題
主な記号一覧/索引


一般社団法人 大学出版部協会 Phone 03-3511-2091 〒102-0073 東京都千代田区九段北1丁目14番13号 メゾン萬六403号室
このサイトにはどなたでも自由にリンクできます。掲載さ>れている文章・写真・イラストの著作権は、それぞれの著作者にあります。
当協会 スタッフによるもの、上記以外のものの著作権は一般社団法人大学出版部協会にあります 。