ABSTRACT
The aim of algebraic set theory is to provide a uniform categorical semantics for set theories of different kinds (classical or constructive, predicative or impredicative, well-founded or nonwell-founded, etc.). We will describe what the basis algebraic set theory is from Godel to now. The base area ranges from ultraproducts and ultrafilters to topological filters based on the preceding chapters.
