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.

Examples

References

External links

Classifying topos in nLab

This article is issued from Wikipedia - version of the Monday, October 19, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.