Sheaves in Geometry and Logic: A First Introduction to Topos Theory - Softcover

Mac Lane, Saunders; Moerdijk, Ieke; Mac Lane, S.

Softcover

ISBN 10: 3540977104 ISBN 13: 9783540977100

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

Synopsis

This introduction to the theory of toposes (developed by Grothendieck and followed up by Lawvere and Tierney) begins with illustrative examples and goes on to explain 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.

About this title

Review

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)

Edition details

• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Publication date: 1992
• Language: English
• ISBN 10: 3540977104
• ISBN 13: 9783540977100
• Binding: Paperback
• Number of pages: 639