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.

J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.