Aspects of predicative algebraic set theory. I: Exact completion (Q958492)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Aspects of predicative algebraic set theory. I: Exact completion |
scientific article |
Statements
Aspects of predicative algebraic set theory. I: Exact completion (English)
0 references
5 December 2008
0 references
This paper is the first in a series of three papers on Algebraic Set Theory. The authors introduce the notion of a predicative category with small maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main result of the paper is the proof that such categories can always be conservatively embedded in categories that are exact.
0 references
constructive set theory
0 references
exact completion
0 references
categorical logic
0 references
