 | This article may be too technical for most readers to understand. (November 2020) |
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.