"First order categorical logic. Model-theoretical methods in the theory of topoi and related categories" - читать интересную книгу автора (M. Makkai, G.E. Reyes)