Algebraic Set Theory door Ieke Moerdijk, Izak Moerdijk & Andri Joyal