"Fibrational formulation of intuitionistic predicate logic 1" - читать интересную книгу автора (Makkai M.)