"Algebraic Set Theory (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (Andre Joyal, Ieke Moerdijk, N. J. Hitchin)