Toposes, Triples and Theories, volume 278 of Grundlehren der mathematischen Wissenschaften (1985)

by Michael Barr, Charles Wells