Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书


Sheaves in Geometry and Logic

简体网页||繁体网页

Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书 著者简介


Sheaves in Geometry and Logic 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-25

Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书

Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书

Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书



喜欢 Sheaves in Geometry and Logic 电子书 的读者还喜欢


Sheaves in Geometry and Logic 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:Springer
作者:Saunders MacLane
出品人:
页数:630
译者:
出版时间:1994-11-1
价格:USD 89.95
装帧:Paperback
isbn号码:9780387977102
丛书系列:

图书标签: 数学  层论  范畴论  Mathematics  Topos  拓扑斯    tops   


Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书 图书描述

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 2024 pdf epub mobi 电子书

Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Sheaves in Geometry and Logic 2024 pdf epub mobi 用户评价

评分

只看了前一半,后面许多逻辑的部分大概也不会读了,现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的,总算是感觉那些高端的higher geometry也有些接地气了

评分

又来陪评论了,这本书是介绍层理论以及拓扑斯理论比较有名的一本。回顾下现代数学的发展,很大一部分就是从抽象中再抽象,从模式中再找到模式。等到走到了范畴论这里,给出层的定义从而给出拓扑斯的定义后,数学家们已经可以用拓扑斯这样的东西,来重新书写或者构造数学了。就像最为普遍的,我们从集合论构造所有的数学内容一样。此书中讲的关于逻辑的部分正是集合论的公理部分,以及模态逻辑语义的部分,从更加统一的角度看待这些方法与理论。觉得本书也可以有另外一个名字《从拓扑斯/层理论的角度看》。

评分

又来陪评论了,这本书是介绍层理论以及拓扑斯理论比较有名的一本。回顾下现代数学的发展,很大一部分就是从抽象中再抽象,从模式中再找到模式。等到走到了范畴论这里,给出层的定义从而给出拓扑斯的定义后,数学家们已经可以用拓扑斯这样的东西,来重新书写或者构造数学了。就像最为普遍的,我们从集合论构造所有的数学内容一样。此书中讲的关于逻辑的部分正是集合论的公理部分,以及模态逻辑语义的部分,从更加统一的角度看待这些方法与理论。觉得本书也可以有另外一个名字《从拓扑斯/层理论的角度看》。

评分

只看了前一半,后面许多逻辑的部分大概也不会读了,现在回想起来higher topos里面的infinity topos也是仿照着类似的公理搞出来的,总算是感觉那些高端的higher geometry也有些接地气了

评分

又来陪评论了,这本书是介绍层理论以及拓扑斯理论比较有名的一本。回顾下现代数学的发展,很大一部分就是从抽象中再抽象,从模式中再找到模式。等到走到了范畴论这里,给出层的定义从而给出拓扑斯的定义后,数学家们已经可以用拓扑斯这样的东西,来重新书写或者构造数学了。就像最为普遍的,我们从集合论构造所有的数学内容一样。此书中讲的关于逻辑的部分正是集合论的公理部分,以及模态逻辑语义的部分,从更加统一的角度看待这些方法与理论。觉得本书也可以有另外一个名字《从拓扑斯/层理论的角度看》。

Sheaves in Geometry and Logic 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有