Aspects of Predicative Algebraic Set Theory III: Sheaves

Benno van den Berg, Ieke Moerdijk

This is the third installment 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 c…