First Order Categorical Logic by M. Makkai