A Unified Approach to Algebraic Set Theory

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.)
To appear in the proceedings of the Logic Colloquium '06

Keywords

Logic, Category Theory, 03C90; 03E70; 03F50

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/140135

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0710.3066
 http://arxiv.org/abs/0710.3066

Collections

arXiv