Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies and sheaves, geometric morphisms, other subjects. 1977 edition.
Publisher: Dover Publications (December 08, 2013)
Collection: Dover Books on Mathematics
Format: EPUB
Page count: 400 pages
Protection: DRM
Language: English