Topoi

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Michael Makkai,Gonzalo E. Reyes