Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.
Topos Theory (Dover Books on Mathematics)
One of the best books on a relatively new branch of mathematics, this volume focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer science. Topics include internal category theory, topologies and sheaves, geometric morphisms, natural number objects, cohomology, set theory, and more. 1977 edition.