Predicative algebraic set theory (0)

by S Awodey, M Warren
Venue:Theory and Applications of Categories