First Order Categorical Logic (1977)

by M Makkai, G E Reyes
Venue:Lecture Notes in Mathematics, no 611