Constructive Set Theories and their Category-theoretic Models

Alexander Simpson

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Abstract

This chapter advocates a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. The aim is to leave the notion of set as unconstrained as possible, while remaining consistent with the ways in which sets are actually used in mathematical practice. Following this approach, the chapter presents theories ranging in power from weaker predicative theories to stronger impredicative ones. The theories considered all have sound and complete classes of category-theoretic models, obtained by axiomatizing the structure of an ambient category of classes together with its subcategory of sets. In certain special cases, the categories of sets have independent characterizations in familiar category-theoretic terms, and one thereby obtains a rich source of naturally occurring mathematical models for (both predicative and impredicative) constructive set theories.
Original languageEnglish
Title of host publicationFrom Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
EditorsLaura Crosilla, Peter Schuster
PublisherOxford University Press
Pages41-59
Number of pages19
ISBN (Print)9780198566519
DOIs
Publication statusPublished - 2005

Fingerprint

Dive into the research topics of 'Constructive Set Theories and their Category-theoretic Models'. Together they form a unique fingerprint.

Cite this