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.
评分
评分
评分
评分
只看了前一半,后面许多逻辑的部分大概也不会读了,现在回想起来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也有些接地气了
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有