Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften 278 (1985)

by Wells