- We will send in 10–14 business days.
/images/books/2892336/9780198514732.jpg)
- Author: Colin McLarty
- Publisher: Clarendon Press
- ISBN-10: 0198514735
- ISBN-13: 9780198514732
- Format: 15.6 x 23.4 x 1.5 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. Working with key concepts such as Cartesian closedness, adjunctions, regular categories, and the internal logic of a topos, the book features full statements and elementary proofs for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Other chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 16d.15:19:34
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Colin McLarty
- Publisher: Clarendon Press
- ISBN-10: 0198514735
- ISBN-13: 9780198514732
- Format: 15.6 x 23.4 x 1.5 cm, softcover
- Language: English English
The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. Working with key concepts such as Cartesian closedness, adjunctions, regular categories, and the internal logic of a topos, the book features full statements and elementary proofs for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Other chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.
Reviews