Elementary Axioms for Categories of Classes ( Extended Abstract ) Dedicated to

@inproceedings{Simpson1999ElementaryAF,
  title={Elementary Axioms for Categories of Classes ( Extended Abstract ) Dedicated to},
  author={Alex K. Simpson},
  year={1999}
}
We axiomatize a notion of “classic structure” on a regular category, isolating the essential properties of the category of classes together with its full subcategory of sets. Like the axioms for a topos, our axiomatization is very simple, but has powerful consequences. In particular, we show that our axiomatized categories provide a sound and complete class of models for Intuitionistic Zermelo-Fraenkel set 

From This Paper

Topics from this paper.
12 Citations
18 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Algebraic Compactness in Intuitionistic Set Theory

  • A. Simpson
  • Talk at PSSL, Edinburgh,
  • 1995
Highly Influential
5 Excerpts

Moerdijk.Algebraic Set Theory

  • I. A. Joyal
  • LMS Lecture Notes 220,
  • 1995
Highly Influential
10 Excerpts

Moerdijk.Sheaves in Geometry and Logic: a First Introduction to Topos Theory . Universitext

  • I. S. Mac Lane
  • 1992
Highly Influential
5 Excerpts

Constructive Fixed-point Theorem

  • D. Pataraia.A
  • Talk at PSSL,
  • 1997
Highly Influential
3 Excerpts

Practical Foundations

  • P. Taylor
  • 1999
1 Excerpt

Regular and exact completions

  • A. Carboni, E. Vitale
  • Journal of Pure and Applied Algebra ,
  • 1998
2 Excerpts

A uniform account of domain theory in realizability models.Math

  • J. Longley, A. Simpson
  • Struct. in Comp
  • 1997
1 Excerpt

A categorical theory of cumulat ive hierarchies of sets.Comptes

  • A. Joyal, I. Moerdijk
  • Rendus Ass. Sci. Can
  • 1991
1 Excerpt

Similar Papers

Loading similar papers…