A Unified Approach to Algebraic Set Theory
Logic
2007-10-17 v1 Category Theory
Abstract
The paper provides an introduction to the field of Algebraic Set Theory (AST). AST is a flexible categorical framework for studying different kinds of set theories: both classical and constructive, predicative and impredicative. We discuss the basic results in this area, with a particular emphasis on applications to the constructive set theories IZF and CZF. (This paper is a summary of a tutorial on categorical logic given by the second named author at the Logic Colloquium 2006 in Nijmegen.)
Keywords
Cite
@article{arxiv.0710.3066,
title = {A Unified Approach to Algebraic Set Theory},
author = {Benno van den Berg and Ieke Moerdijk},
journal= {arXiv preprint arXiv:0710.3066},
year = {2007}
}
Comments
To appear in the proceedings of the Logic Colloquium '06