Abstract
This is the third instalment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a ‘predicative category with small maps’ which axiomatizes the idea
... read more