First order categorical logic - Makkai, Mihály, 1939- (Springer-Verlag, 1977)