Classifying topos

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