Relating Topos Theory and Set Theory Via Categories of Classes
Date of Original Version
All Rights Reserved
Abstract or Description
We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense.
This document is currently not available here.