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

☆☆☆☆☆
简体网页||繁体网页

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

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

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-07-01

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 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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

评分☆☆☆☆☆

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