Abstract

Every geometric theory has a classifying topos, but when trying to extend this to full first-order theories one may run into trouble. Such a first-order classifying topos for a first-order theory T, is a topos F such that for every topos E, the models of T in E correspond to
... read more