Sheaves in Geometry and Logic

Saunders Maclane

ISBN 10: 0387977104 / ISBN 13: 9780387977102

Editore: Springer, Humana Mai 1992, 1992

Neuware -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. 648 pp. Englisch. Codice articolo 9780387977102

Riassunto:

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 people and from many others, but we have not endeavored to specify the various original sources.

Recensione:

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)

Dati bibliografici

Titolo: Sheaves in Geometry and Logic
Casa editrice: Springer, Humana Mai 1992
Data di pubblicazione: 1992
Legatura: Taschenbuch
Condizione: Neu