Toposes and Local Set Theories: An Introduction

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 intro...