圏論による論理学 : 高階論理とトポス
著者
書誌事項
圏論による論理学 : 高階論理とトポス
東京大学出版会, 2007.12
- タイトル別名
-
Logic via category theory : higher order logic and topos
圏論による論理学 : 高階論理とトポス
- タイトル読み
-
ケンロン ニヨル ロンリガク : コウカイ ロンリ ト トポス
電子リソースにアクセスする 全1件
-
-
圏論による論理学 高階論理とトポス
2007.12.
-
圏論による論理学 高階論理とトポス
大学図書館所蔵 全150件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
内容説明・目次
目次
- 第1章 関数型高階論理(関数型高階論理の考え方;高階論理λ‐h.o.l.のタイプと項 ほか)
- 第2章 トポス(圏;トポス ほか)
- 第3章 トポスの基本定理(I上バンドルの圏Bn(I);関手 ほか)
- 第4章 プルバック関手fの右‐随伴関手2f(トポスの基礎的な諸性質;パーシャルアロー・クラシファイヤーの存在定理 ほか)
- 第5章 リミット、空間性トポス、限量記号(リミットとコリミット;空間性トポスTop(1) ほか)
「BOOKデータベース」 より