圏論による論理学―高階論理とトポス [単行本]

圏論による論理学―高階論理とトポス [単行本] の 商品概要

• 目次(「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  清水 義夫(シミズ ヨシオ)
  １９３９年東京に生まれる。１９６３年東京大学文学部哲学科卒業。１９６７年東京大学大学院人文科学研究科博士課程退学。現在、千葉工業大学情報科学部教授

圏論による論理学―高階論理とトポス [単行本] の商品スペック