圖書標籤:
发表于2024-11-27
Toposes and Local Set Theories pdf epub mobi txt 電子書 下載 2024
This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories. 1988 edition.
評分
評分
評分
評分
Toposes and Local Set Theories pdf epub mobi txt 電子書 下載 2024