Title

Relating Topos Theory and Set Theory Via Categories of Classes

Date of Original Version

6-2003

Type

Technical Report

Rights Management

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.

Comments

CMU-PHIL-146

This document is currently not available here.

Share

COinS