Sheaves in Geometry and Logic
Author | : Saunders Mac Lane |
Publisher | : |
Total Pages | : 627 |
Release | : 1992 |
ISBN-10 | : 3540977104 |
ISBN-13 | : 9783540977100 |
Rating | : 4/5 (100 Downloads) |
Book Synopsis Sheaves in Geometry and Logic by : Saunders Mac Lane
Download or read book Sheaves in Geometry and Logic 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. 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.