A brief introduction to algebraic set theory (2008)

by S Awodey
Venue:Bulletin of Symbolic Logic 14(3): 281–298