Toposes, Triples, and Theories (1985)

by Michael Barr, Charles Wells