Sheaves in Geometry and Logic pdf epub mobi txt 电子书 下载 2025
简体网页||繁体网页
图书标签: 数学 层论 范畴论 Mathematics Topos 拓扑斯 层 tops
喜欢 Sheaves in Geometry and Logic 的读者还喜欢
-
Categories for the Working Mathematician pdf epub mobi txt 电子书 下载 -
Higher Topos Theory pdf epub mobi txt 电子书 下载
-
Topology pdf epub mobi txt 电子书 下载
-
代数拓扑的微分形式 pdf epub mobi txt 电子书 下载
-
Conceptual Mathematics: A First Introduction to Categories pdf epub mobi txt 电子书 下载
-
解析函数论初步 pdf epub mobi txt 电子书 下载
-
A Concise Course in Algebraic Topology pdf epub mobi txt 电子书 下载
-
Galois Theory pdf epub mobi txt 电子书 下载
-
Methods of homological algebra同调代数方法 pdf epub mobi txt 电子书 下载
-
Characteristic Classes pdf epub mobi txt 电子书 下载
下载链接1
下载链接2
下载链接3
发表于2025-03-10
Sheaves in Geometry and Logic epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025
Sheaves in Geometry and Logic epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025
Sheaves in Geometry and Logic pdf epub mobi txt 电子书 下载 2025
图书描述
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
著者简介
图书目录
Sheaves in Geometry and Logic pdf epub mobi txt 电子书 下载
用户评价
只看了前一半，后面许多逻辑的部分大概也不会读了，现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的，总算是感觉那些高端的higher geometry也有些接地气了
评分只看了前一半，后面许多逻辑的部分大概也不会读了，现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的，总算是感觉那些高端的higher geometry也有些接地气了
评分只看了前一半，后面许多逻辑的部分大概也不会读了，现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的，总算是感觉那些高端的higher geometry也有些接地气了
评分只看了前一半，后面许多逻辑的部分大概也不会读了，现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的，总算是感觉那些高端的higher geometry也有些接地气了
评分只看了前一半，后面许多逻辑的部分大概也不会读了，现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的，总算是感觉那些高端的higher geometry也有些接地气了
读后感
评分
评分
评分
评分
Sheaves in Geometry and Logic pdf epub mobi txt 电子书 下载 2025
分享链接
相关图书
-
Categories for Types pdf epub mobi txt 电子书 下载
-
Conceptual Mathematics A First Introduction to Categories pdf epub mobi txt 电子书 下载
-
Catagory Theory for Computing Science (3rd ed.) pdf epub mobi txt 电子书 下载
-
How to Bake Pi pdf epub mobi txt 电子书 下载
-
Abelian Categories pdf epub mobi txt 电子书 下载
-
Stochastic Coalgebraic Logic pdf epub mobi txt 电子书 下载
-
An Introduction to the Language of Category Theory pdf epub mobi txt 电子书 下载
-
New Structures for Physics pdf epub mobi txt 电子书 下载
-
An Invitation to Applied Category Theory pdf epub mobi txt 电子书 下载
-
Categories and Computer Science pdf epub mobi txt 电子书 下载
-
Categories for Types pdf epub mobi txt 电子书 下载
-
Category Theory (Oxford Logic Guides) pdf epub mobi txt 电子书 下载
-
范畴、语境与博弈 pdf epub mobi txt 电子书 下载
-
Handbook of Categorical Algebra pdf epub mobi txt 电子书 下载
-
Categorical Homotopy Theory pdf epub mobi txt 电子书 下载
-
Categories and Computer Science (Cambridge Computer Science Texts) pdf epub mobi txt 电子书 下载
-
临门一吻（上、下册） pdf epub mobi txt 电子书 下载
-
相对论时空 pdf epub mobi txt 电子书 下载
-
广义相对论基础教程 pdf epub mobi txt 电子书 下载
-
Relativity pdf epub mobi txt 电子书 下载
