Toposes, Triples, and Theories. Number 278 in Grundlehren der mathematischen Wissenschaften (1985)

by Michael Barr, Charles Wells