Star Wars Sale
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to PowellsBooks.news for a chance to win.
Privacy Policy

More at Powell's


Recently Viewed clear list


Original Essays | June 20, 2014

Lisa Howorth: IMG So Many Books, So Many Writers



I'm not a bookseller, but I'm married to one, and Square Books is a family. And we all know about families and how hard it is to disassociate... Continue »
  1. $18.20 Sale Hardcover add to wish list

    Flying Shoes

    Lisa Howorth 9781620403013

spacer
Qualifying orders ship free.
$99.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Linear Algebra

Sheaves in Geometry & Logic: A First Introduction to Topos Theory

by

Sheaves in Geometry & Logic: A First Introduction to Topos Theory Cover

 

Synopses & Reviews

Publisher Comments:

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.

Book News Annotation:

This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and the properties of an elementary topos, applications to axiomatic set theory and use in forcing, geometric morphisms and the construction of classifying topoi.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Synopsis:

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.

Synopsis:

This book is an introduction to the theory of toposes, as first developed by Grothendieck and later developed by Lawvere and Tierney. Beginning with several illustrative examples, the book 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.This is the first text to address all of these various aspects of topos theory at the graduate student level.

Table of Contents

Preface; Prologue; Categorical Preliminaries; 1. Categories of Functors; 2. Sheaves of Sets; 3. Grothendieck Topologies and Sheaves; 4. First Properties of Elementary Topoi; 5. Basic Constructions of Topoi; 6. Topoi and Logic; 7. Geometric Morphisms; 8. Classifying Topoi; 9. Localic Topoi; 10. Geometric Logic and Classifying Topoi; Appendix: Sites for Topoi; Epilogue; Bibliography; Index of Notations; Index

Product Details

ISBN:
9780387977102
Author:
Maclane, Saunders
Publisher:
Springer
Author:
Moerdijk, Ieke
Author:
MacLane, Saunders
Location:
New York, NY
Subject:
Logic
Subject:
Algebra - General
Subject:
Algebra - Linear
Subject:
Toposes.
Subject:
K-theory
Subject:
Mathematical Logic and Foundations
Subject:
Mathematics-Linear Algebra
Subject:
Algebra - Abstract
Subject:
Mathematics
Subject:
B
Subject:
mathematics and statistics
Subject:
Logic, symbolic and mathematical
Copyright:
Edition Number:
1
Edition Description:
1st ed. 1992. Corr. 2nd printing
Series:
Universitext
Publication Date:
May 1992
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
642
Dimensions:
235 x 155 mm 1990 gr

Other books you might like

  1. Mathematics, Magic and Mystery... Used Trade Paper $5.95
  2. Semi-Algebraic Function Rings Via... New Trade Paper $77.50
  3. Power Sums, Gorenstein Algebras, and... New Trade Paper $87.75
  4. Galois Theory 2ND Edition Used Trade Paper $5.95
  5. Encyclopedia of Mathematics and Its... New Hardcover $216.75

Related Subjects


Science and Mathematics » Mathematics » Algebra » General
Science and Mathematics » Mathematics » Algebra » Linear Algebra
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Topology
Transportation » Aviation » General

Sheaves in Geometry & Logic: A First Introduction to Topos Theory New Trade Paper
0 stars - 0 reviews
$99.25 In Stock
Product details 642 pages Springer-Verlag New York, Incorporated - English 9780387977102 Reviews:
"Synopsis" by , 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.
"Synopsis" by , This book is an introduction to the theory of toposes, as first developed by Grothendieck and later developed by Lawvere and Tierney. Beginning with several illustrative examples, the book 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.This is the first text to address all of these various aspects of topos theory at the graduate student level.
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.