Alleen Vandaag Toposes and Local Set Theories An Introduction – John L. Bell

Topos theory has led to unexpected connections between classical and constructive mathematics. This text explores Lawvere and Tierney’s concept of topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. A virtually self-contained introduction, this volume presents toposes as the models of theories — known as local set theories — formulated within a typed intuitionistic logic.
The introductory chapter …