Classifying Toposes for First Order Theories
Classifying Toposes for First Order Theories
By a classifying topos for a first-order theory T, we mean a topos<br />E such that, for any topos F, models of T in F correspond exactly to<br />open geometric morphisms F ! E. We show that not every (infinitary)<br />first-order theory has a classifying topos in this sense, but …