Sheaves in Geometry and Logic
Download or Read eBook Sheaves in Geometry and Logic PDF written by Saunders Mac Lane and published by . This book was released on 1992 with total page 627 pages. Available in PDF, EPUB and Kindle.
Author | : Saunders Mac Lane |
Publisher | : |
Total Pages | : 627 |
Release | : 1992 |
ISBN-10 | : 3540977104 |
ISBN-13 | : 9783540977100 |
Rating | : 4/5 (04 Downloads) |
Book Synopsis Sheaves in Geometry and Logic by : Saunders Mac Lane
Book excerpt: An introduction to the theory of toposes which 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.