Toposes, Triples, and Theories, Grundlehren der Mathematischen Wissenschaften 278 (1985)

by M Barr, C Wells