Picture 1 of 23
Sheaves in Geometry and Logic : A First Introduction to Topos Theory, Paperba...
Condition:
“good used condition”
Price:
US $74.97
ApproximatelyEUR 68.91
- Buy it nowSheaves in Geometry and Logic : A First Introduction to Topos Theory, Paperba...
Best Offer:
Postage:
Located in: Langhorne, Pennsylvania, United States
Delivery:
Estimated between Sat, 8 Jun and Tue, 11 Jun to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 98% positive Feedback
Registered as private seller, so consumer rights stemming from EU consumer protection law do not apply. eBay Money Back Guarantee still applies to most purchases.
Seller assumes all responsibility for this listing.
eBay item number:354710202675
Item specifics
- Condition
- Good
- Seller notes
- “good used condition”
- Educational Level
- Adult & Further Education
- Subject
- Group Theory, Algebra / Abstract, Geometry / General, Algebra / General, Logic
- ISBN
- 9780387977102
- Subject Area
- Mathematics
- Publication Name
- Sheaves in Geometry and Logic : a First Introduction to Topos Theory
- Item Length
- 9.3 in
- Publisher
- Springer New York
- Publication Year
- 1994
- Series
- Universitext Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 70.2 Oz
- Number of Pages
- Xii, 630 Pages
About this product
Product Information
This text presents topos theory as it has developed from the study of sheaves. 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.
Product Identifiers
Publisher
Springer New York
ISBN-10
0387977104
ISBN-13
9780387977102
eBay Product ID (ePID)
117839
Product Key Features
Publication Name
Sheaves in Geometry and Logic : a First Introduction to Topos Theory
Format
Trade Paperback
Language
English
Subject
Group Theory, Algebra / Abstract, Geometry / General, Algebra / General, Logic
Publication Year
1994
Series
Universitext Ser.
Type
Textbook
Subject Area
Mathematics
Number of Pages
Xii, 630 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
70.2 Oz
Additional Product Features
LCCN
91-033709
Intended Audience
Scholarly & Professional
Number of Volumes
1 Vol.
Lc Classification Number
Qa440-699
Reviews
From the reviews: "A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. … authors have a rare gift for conveying an insider's view of the subject from the start. This book is written in the best Mac Lane style, very clear and very well organized. … it gives very explicit descriptions of many advanced topics--you can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field." (Wordtrade, 2008), From the reviews: "A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. ... authors have a rare gift for conveying an insider's view of the subject from the start. This book is written in the best Mac Lane style, very clear and very well organized. ... it gives very explicit descriptions of many advanced topics--you can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field." (Wordtrade, 2008), From the reviews:"A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. … authors have a rare gift for conveying an insider's view of the subject from the start. This book is written in the best Mac Lane style, very clear and very well organized. … it gives very explicit descriptions of many advanced topics--you can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field." (Wordtrade, 2008)
Table of Content
Prologue.- Categorial Preliminaries.- I. Categories of Functors.- 1. The Categories at Issue.- 2. Pullbacks.- 3. Characteristic Functions of Subobjects.- 4. Typical Subobject Classifiers.- 5. Colimits.- 6. Exponentials.- 7. Propositional Calculus.- 8. Heyting Algebras.- 9. Quantifiers as Adjoints.- Exercises.- II. Sheaves of Sets.- 1. Sheaves.- 2. Sieves and Sheaves.- 3. Sheaves and Manifolds.- 4. Bundles.- 5. Sheaves and Cross-Sections.- 6. Sheaves as Étale Spaces.- 7. Sheaves with Algebraic Structure.- 8. Sheaves are Typical.- 9. Inverse Image Sheaf.- Exercises.- III. Grothendieck Topologies and Sheaves.- 1. Generalized Neighborhoods.- 2. Grothendieck Topologies.- 3. The Zariski Site.- 4. Sheaves on a Site.- 5. The Associated Sheaf Functor.- 6. First Properties of the Category of Sheaves.- 7. Subobject Classifiers for Sites.- 8. Subsheaves.- 9. Continuous Group Actions.- Exercises.- IV. First Properties of Elementary Topoi.- 1. Definition of a Topos.- 2. The Construction of Exponentials.- 3. Direct Image.- 4. Monads and Beck's Theorem.- 5. The Construction of Colimits.- 6. Factorization and Images.- 7. The Slice Category as a Topos.- 8. Lattice and Heyting Algebra Objects in a Topos.- 9. The Beck-Chevalley Condition.- 10. Injective Objects.- Exercises.- V. Basic Constructions of Topoi.- 1. Lawvere-Tierney Topologies.- 2. Sheaves.- 3. The Associated Sheaf Functor.- 4. Lawvere-Tierney Subsumes Grothendieck.- 5. Internal Versus External.- 6. Group Actions.- 7. Category Actions.- 8. The Topos of Coalgebras.- 9. The Filter-Quotient Construction.- Exercises.- VI. Topoi and Logic.- 1. The Topos of Sets.- 2. The Cohen Topos.- 3. The Preservation of Cardinal Inequalities.- 4. The Axiom of Choice.- 5. The Mitchell-Bénabou Language.- 6. Kripke-Joyal Semantics.- 7. Sheaf Semantics.- 8. Real Numbers in a Topos.- 9. Brouwer's Theorem: All Functions are Continuous.- 10. Topos-Theoretic and Set-Theoretic Foundations.- Exercises.- VII. Geometric Morphisms.- 1. Geometric Morphismsand Basic Examples.- 2. Tensor Products.- 3. Group Actions.- 4. Embeddings and Surjections.- 5. Points.- 6. Filtering Functors.- 7. Morphisms into Grothendieck Topoi.- 8. Filtering Functors into a Topos.- 9. Geometric Morphisms as Filtering Functors.- 10. Morphisms Between Sites.- Exercises.- VIII. Classifying Topoi.- 1. Classifying Spaces in Topology.- 2. Torsors.- 3. Classifying Topoi.- 4. The Object Classifier.- 5. The Classifying Topos for Rings.- 6. The Zariski Topos Classifies Local Rings.- 7. Simplicial Sets.- 8. Simplicial Sets Classify Linear Orders.- Exercises.- IX. Localic Topoi.- 1. Locales.- 2. Points and Sober Spaces.- 3. Spaces from Locales.- 4. Embeddings and Surjections of Locales.- 5. Localic Topoi.- 6. Open Geometric Morphisms.- 7. Open Maps of Locales.- 8. Open Maps and Sites.- 9. The Diaconescu Cover and Barr's Theorem.- 10. The Stone Space of a Complete Boolean Algebra.- 11. Deligne's Theorem.- Exercises.- X. Geometric Logic and Classifying Topoi.- 1. First-OrderTheories.- 2. Models in Topoi.- 3. Geometric Theories.- 4. Categories of Definable Objects.- 5. Syntactic Sites.- 6. The Classifying Topos of a Geometric Theory.- 7. Universal Models.- Exercises.- Appendix: Sites for Topoi.- Epilogue.- Index of Notation.
Copyright Date
1994
Illustrated
Yes
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:354710202675
Postage and packaging
Item location:
Langhorne, Pennsylvania, United States
Posts to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Ireland, Israel, Italy, Jamaica, Japan, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, New Zealand, Nicaragua, Niger, Nigeria, Norway, Oman, Pakistan, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Kitts-Nevis, Saint Lucia, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Spain, Sri Lanka, Suriname, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Uganda, United Arab Emirates, United Kingdom, United States, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Samoa, Yemen, Zambia, Zimbabwe
Excludes:
Barbados, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Reunion, Russian Federation, Ukraine, Venezuela
| Postage and packaging | To | Service | Delivery*See Delivery notes |
|---|---|---|---|
| Free postage | United States | Economy P&P (USPS Media MailTM) | Estimated between Sat, 8 Jun and Tue, 11 Jun to 43230 |
| Dispatch time |
|---|
| Will usually dispatch within 2 working days of receiving cleared payment. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #354710202675
Sales tax for an item #354710202675
Seller collects sales tax/VAT for items dispatched to the following states:
| County | VAT rate |
|---|
Returns policy
| After receiving the item, cancel the purchase within | Refund will be given as | Return postage |
|---|---|---|
| 30 days | Money back | Buyer pays for return postage |
The buyer is responsible for return postage costs.
| Return policy details |
|---|
| Returns accepted |
Most Buy It Now purchases are protected by the Consumer Rights Directive, which allow you to cancel the purchase within seven working days from the day you receive the item. Find out more about your rights as a buyer and exceptions.
Payment details
Payment methods
Registered as a private seller
Thereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Seller Feedback (211)
m***i- Feedback left by buyer.
Past month
Verified purchase
Professional attitude, one of the best eBay seller, highly recommended!! Thank you again!! AAAAA+++++
m***o (10)- Feedback left by buyer.
Past month
Verified purchase
Book was wrapped and packed 4 layers deep!! Great protection!! Autograph was cool; my name is Mike too; so I’ll think it’s still for me 😄
m***i- Feedback left by buyer.
Past month
Verified purchase
One of the best eBay seller, highly recommended!! Thank you!! AAAAA+++++
More to explore:
- Geometry Adult Learning & University Books,
- Geometry Paperback Adult Learning & University Books,
- Geometry Adult Learning & University Books in English,
- Literary Theory Books,
- Logic Adult Learning & University Books,
- Logic Non-Fiction Paperback Fiction & Books,
- Non-Fiction Paperback Fiction & Game Theory Books,
- Non-Fiction Art Theory Fiction & Non-Fiction Books,
- Penguin First Edition Antiquarian & Collectable Books,
- First Comics Comics, Graphic Novels & TPBs