Skip to content

Sheaves in Geometry and Logic

Sheaves in Geometry and Logic Paperback / softback - 1992

by Ieke Moerdijk

  • New
  • Paperback

Description

Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Our presentation combines ideas and results from these
New
NZ$131.03
NZ$16.76 Shipping to USA
Standard delivery: 7 to 12 days
More Shipping Options
Ships from Ria Christie Collections (Greater London, United Kingdom)

About Ria Christie Collections Greater London, United Kingdom

Biblio member since 2014
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections

Terms of Sale:

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Ria Christie Collections

Details

  • Title Sheaves in Geometry and Logic
  • Author Ieke Moerdijk
  • Binding Paperback / softback
  • Edition Corrected
  • Condition New
  • Pages 630
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York
  • Date 1992-05-14
  • Features Bibliography, Maps
  • Bookseller's Inventory # ria9780387977102_inp
  • ISBN 9780387977102 / 0387977104
  • Weight 1.98 lbs (0.90 kg)
  • Dimensions 9.21 x 6.14 x 1.31 in (23.39 x 15.60 x 3.33 cm)
  • Library of Congress subjects Toposes
  • Library of Congress Catalog Number 91033709
  • Dewey Decimal Code 512.55

From the publisher

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.

First line

Many constructions on various mathematical objects depend not just on the elements of those objects but also on the morphisms between them.