| Title:
|
SHEAVES IN GEOMETRY AND LOGIC
A FIRST INTRODUCTION TO TOPOS THEORY |
| By: |
Saunders MacLane, Ieke Moerdijk |
| Format: |
Paperback |
| List price:
|
£64.99 |
| Our price: |
£56.87 |
| Discount: |
|
| You save:
|
£8.12 |
|
|
|
|
|
| ISBN 10: |
0387977104 |
| ISBN 13: |
9780387977102 |
| Availability: |
Usually dispatched within 3-5 days.
 Delivery
rates
|
| Stock: |
Currently 1item in stock |
| Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
| Pub. date: |
14 May, 1992 |
| Edition: |
1st ed. 1992. Corr. 2nd printing 1994 |
| Series: |
Universitext |
| Pages: |
630 |
| Description: |
Sheaves also appear in logic as carriers for models of set theory. 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: |
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. |
| Illustrations: |
XII, 630 p. |
| Publication: |
US |
| Imprint: |
Springer-Verlag New York Inc. |
| Returns: |
Returnable |