0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Sheaves in Geometry and Logic - A First Introduction to Topos Theory (Paperback, 1st ed. 1992. Corr. 2nd printing 1994) Loot Price: R1,994
Discovery Miles 19 940
Sheaves in Geometry and Logic - A First Introduction to Topos Theory (Paperback, 1st ed. 1992. Corr. 2nd printing 1994):...

Sheaves in Geometry and Logic - A First Introduction to Topos Theory (Paperback, 1st ed. 1992. Corr. 2nd printing 1994)

Saunders MacLane, Ieke Moerdijk

Series: Universitext

 (sign in to rate)
Loot Price R1,994 Discovery Miles 19 940 | Repayment Terms: R187 pm x 12*

Bookmark and Share

Expected to ship within 9 - 15 working days

This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds (algebraic, analytic, etc.). Sheaves also appear in logic as carriers for models of set theory as well as for the semantics of other types of logic. Grothendieck introduced a topos as a category of sheaves for algebraic geometry. Subsequently, Lawvere and Tierney obtained elementary axioms for such (more general) categories. This introduction to topos theory begins with a number of illustrative examples that explain the origin of these ideas and then describes the sheafification process and the properties of an elementary topos. The applications to axiomatic set theory and the use in forcing (the Independence of the Continuum Hypothesis and of the Axiom of Choice) are then described. Geometric morphisms- like continuous maps of spaces and the construction of classifying topoi, for example those related to local rings and simplicial sets, next appear, followed by the use of locales (pointless spaces) and the construction of topoi related to geometric languages and logic. This is the first text to address all of these varied aspects of topos theory at the graduate student level.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Universitext
Release date: October 1994
First published: November 1994
Authors: Saunders MacLane • Ieke Moerdijk
Dimensions: 235 x 155 x 38mm (L x W x T)
Format: Paperback
Pages: 630
Edition: 1st ed. 1992. Corr. 2nd printing 1994
ISBN-13: 978-0-387-97710-2
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Geometry > General
Books > Science & Mathematics > Mathematics > Topology > General
Promotions
LSN: 0-387-97710-4
Barcode: 9780387977102

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,316 Discovery Miles 13 160
Principia Mathematica
Russell Bertrand Russell Hardcover R1,358 Discovery Miles 13 580
Goedel's Disjunction - The scope and…
Leon Horsten, Philip Welch Hardcover R4,557 Discovery Miles 45 570
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,867 Discovery Miles 28 670
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R610 Discovery Miles 6 100
bundle available
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R462 Discovery Miles 4 620
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
bundle available
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R560 Discovery Miles 5 600
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,586 Discovery Miles 75 860
The Scientific Art of Logic
Edward D Simmons Hardcover R1,443 R1,195 Discovery Miles 11 950

See more

Partners