Sheaves in Geometry and Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Saunders MacLane 作者

Springer

譯者

1994-11-1 出版日期

630 頁數

USD 89.95 價格

Paperback

叢書系列

9780387977102 圖書編碼

Sheaves in Geometry and Logic 在線電子書圖書標籤: 數學層論範疇論 Mathematics Topos 拓撲斯層 tops

喜歡 Sheaves in Geometry and Logic 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-22

Sheaves in Geometry and Logic 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Sheaves in Geometry and Logic 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Sheaves in Geometry and Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

Sheaves in Geometry and Logic 在線電子書用戶評價

評分☆☆☆☆☆

隻看瞭前一半，後麵許多邏輯的部分大概也不會讀瞭，現在迴想起來higher topos裏麵的infinity topos也是仿照著類似的公理搞齣來的，總算是感覺那些高端的higher geometry也有些接地氣瞭

評分☆☆☆☆☆

又來陪評論瞭，這本書是介紹層理論以及拓撲斯理論比較有名的一本。迴顧下現代數學的發展，很大一部分就是從抽象中再抽象，從模式中再找到模式。等到走到瞭範疇論這裏，給齣層的定義從而給齣拓撲斯的定義後，數學傢們已經可以用拓撲斯這樣的東西，來重新書寫或者構造數學瞭。就像最為普遍的，我們從集閤論構造所有的數學內容一樣。此書中講的關於邏輯的部分正是集閤論的公理部分，以及模態邏輯語義的部分，從更加統一的角度看待這些方法與理論。覺得本書也可以有另外一個名字《從拓撲斯/層理論的角度看》。

評分☆☆☆☆☆

Sheaves in Geometry and Logic 在線電子書著者簡介

Sheaves in Geometry and Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Sheaves in Geometry and Logic 在線電子書圖書描述

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 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!