Title: First Order Categorical Logic