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

著者

• 清水, 義夫 シミズ, ヨシオ

書誌事項

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

清水義夫著

東京大学出版会, 2007.12

タイトル別名

Logic via category theory : higher order logic and topos

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

タイトル読み

ケンロン ニヨル ロンリガク : コウカイ ロンリ ト トポス

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA84314231
• ISBN:
  • 9784130120579
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: iv, 216p
• 大きさ: 21cm
• 分類:
  • NDC8 : 411.6
  • NDC9 : 411.6
• 件名:
  • BSH : カテゴリー(数学)