This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include... This description may be from another edition of this product.