Elementary Categories, Elementary Toposes (Oxford Logic Guides) 在線電子書 圖書標籤: 範疇論 topos理論 Mathematics Logic
發表於2024-11-22
Elementary Categories, Elementary Toposes (Oxford Logic Guides) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
This book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites and uses categorical methods throughout rather than beginning with set theoretic foundations. It works with key notions such as cartesian closedness, adjunctions, regular categories, and the internal logic of a topos. Full statements and elementary proofs are given for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the constriction of Grothendieck toposes over any topos as base. Three chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.
評分
評分
評分
評分
Elementary Categories, Elementary Toposes (Oxford Logic Guides) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024