Classifying topos
In mathematics, a classifying topos for some sort of structure is a topos T such that there is an equivalence between geometric morphisms from a topos E to T and the category of structures in E.
In mathematics, a classifying topos for some sort of structure is a topos T such that there is an equivalence between geometric morphisms from a topos E to T and the category of structures in E.