Relating Topos Theory and Set Theory Via Categories of Classes

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2016-01-18

Downloads
21 (#1,014,604)

6 months
5 (#1,067,832)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.

Add more citations

References found in this work

No references found.

Add more references