Title: First Order Categorical Logic
Subjects: Model theory, Categories (mathematics), Mathematics, Symbolic and mathematical Logic, Mathematical Logic and Foundations