"Algebraic set theory" - читать интересную книгу автора (André Joyal, Ieke Moerdijk)