SHEAVES IN GEOMETRY AND LOGIC by Saunders MacLane, Ieke Moerdijk ( 9780387977102 )

Item Details

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:

12.5% off

You save:

£8.12

ISBN 10:

0387977104

ISBN 13:

9780387977102

Availability:

Publisher out of stock. This item may be subject to delays or cancellation.

Delivery rates

Stock:

Currently 0 available

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:

Imprint:

Springer-Verlag New York Inc.

Returns:

Returnable

Some other items by this author:

A SURVEY OF MODERN ALGEBRA

A SURVEY OF MODERN ALGEBRA (HB)

ALGEBRA (HB)

ALGEBRAIC SET THEORY