"Algebraic Set Theory " - читать интересную книгу автора (Andri Joyal, Ieke Moerdijk)