"First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories" - читать интересную книгу автора (Michael Makkai, Gonzalo E. Reyes)