Categorical algebra and set-theoretic foundations. (English) Zbl 0219.02044

Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part I, 231-240 (1971).


03B30 Foundations of classical theories (including reverse mathematics)
03A05 Philosophical and critical aspects of logic and foundations
03G30 Categorical logic, topoi
03E30 Axiomatics of classical set theory and its fragments


Zbl 0215.32601