出版社内容情報
数学、計算機科学、論理学などの分野で採用されてきている圏論を論理学の観点を中心に解説し、その考え方を紹介するテキスト。
目次
第１章 関数型高階論理（関数型高階論理の考え方；高階論理λ‐ｈ．ｏ．ｌ．のタイプと項 ほか）
第２章 トポス（圏；トポス ほか）
第３章 トポスの基本定理（Ｉ上バンドルの圏Ｂｎ（Ｉ）
関手 ほか）
第４章 プルバック関手ｆの右‐随伴関手２ｆ（トポスの基礎的な諸性質；パーシャルアロー・クラシファイヤーの存在定理 ほか）
第５章 リミット、空間性トポス、限量記号（リミットとコリミット；空間性トポスＴｏｐ（１） ほか）
著者等紹介
清水義夫［シミズヨシオ］
１９３９年東京に生まれる。１９６３年東京大学文学部哲学科卒業。１９６７年東京大学大学院人文科学研究科博士課程退学。現在、千葉工業大学情報科学部教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
センケイ (線形)
7
高階論理を圏論で見返すということで迷わず買った本だが 55P 以降はなかなか容赦ない。しかし最後まで読めば、渋谷駅に到着する銀座線のごとく急に視界が開ける。いくつかの覚えにくかった道具は cone を使って書けると分かるし、実は ∃ と ∀ が随伴する関手の合成で書けると明かされ、あっと言わされる。最後はこれについて今までに見てきた性質が集結する大団円を迎える。2020/10/31
disktnk
1
人文系の教授による圏論の教科書．圏論(トポス)を使うために知るべき圏論基礎と数学的背景の解説が中心．第1章はλ記号の決まりやt/f，and/not，⊂・⊃などの数多くの論理記号の定義の説明．第2章は圏の種類と和積の概念の考え方，トポスの条件と特徴．第3章は関手の導入とトポスへの適用，第4章はトポスの性質，という構成．全体的に図が多く図と本文を照らし合わせると分かりやすい．関手の図示は際どい気もしたけど．圏論用語に英単語が載っているため，洋書の訳にも役に立つ． 2012/10/28
みょん
1
圏論を使って種々の証明をしていくのである程度慣れていることが前提。論理学と言っても扱うのが函数型高階論理(λ-h.o.l)なので、λ計算等に馴染みがある方がいい(論理学の知識自体はほとんど仮定しない)。つらくて長い証明もあるので万人におすすめはできないが、分かればきっと楽しい。圏論の基礎の範囲とλ計算についてある程度知っているなら見てみるのも悪くないかも。2013/04/05
