層・圏・トポス——現代的集合像を求めて

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Gaisi Takeuti, Sheaf, Category and Topos 層、圏、トポスと集合論、数理論理学との密接な関係を説いた本と好評を博したテキストの復刊。初版は1978年1月。

Author(s): 竹内外史
Edition: 第8刷
Publisher: 日本評論社
Year: 2010

Language: Japanese
Pages: 228

目次

第1章 層
第2章 圏
第3章 トポス
第4章 直観論理
第5章 高階直観論理