First Order Categorical Logic door M. Makkai