First order categorical logic (1977)

by M Makkai, G E Reyes
Venue:Model-theoretical methods in the theory of topoi and related categories, Lecture Notes in Mathematics