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

by Michael Barr, Charles F Wells