Categorical Models of Intuitionistic Theories of Sets and Classes

Abstract

The thesis consists of three sections, developing models of intuitionistic set theory in suitable categories. First, the categorical framework in which models are constructed is reviewed, and the theory of all such models, called Basic Intuitionistic Set Theory (BIST), is stated; second, we give a notion of an ideal over a category, with which one can build… (More)

Topics

Cite this paper

@inproceedings{Forssell2004CategoricalMO, title={Categorical Models of Intuitionistic Theories of Sets and Classes}, author={Henrik Forssell}, year={2004} }