圏論による論理学 : 高階論理とトポス
Author(s)
Bibliographic Information
圏論による論理学 : 高階論理とトポス
東京大学出版会, 2007.12
- Other Title
-
Logic via category theory : higher order logic and topos
圏論による論理学 : 高階論理とトポス
- Title Transcription
-
ケンロン ニヨル ロンリガク : コウカイ ロンリ ト トポス
Access to Electronic Resource 1 items
-
-
圏論による論理学 高階論理とトポス
2007.12.
-
圏論による論理学 高階論理とトポス
Available at / 151 libraries
-
University of Tsukuba Library, Library on Library and Information Science
411.6-Sh4910007022604
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Table of Contents
- 第１章 関数型高階論理（関数型高階論理の考え方；高階論理λ‐ｈ．ｏ．ｌ．のタイプと項 ほか）
- 第２章 トポス（圏；トポス ほか）
- 第３章 トポスの基本定理（Ｉ上バンドルの圏Ｂｎ（Ｉ）；関手 ほか）
- 第４章 プルバック関手ｆの右‐随伴関手２ｆ（トポスの基礎的な諸性質；パーシャルアロー・クラシファイヤーの存在定理 ほか）
- 第５章 リミット、空間性トポス、限量記号（リミットとコリミット；空間性トポスＴｏｐ（１） ほか）
by "BOOK database"
