Title
Relating Topos Theory and Set Theory Via Categories of Classes
Date of Original Version
6-2003
Type
Technical Report
Abstract or Table of Contents
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.
COinS
This document is currently not available here.
Comments
CMU-PHIL-146