Jump to content

Classifying topos

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by R.e.b. (talk | contribs) at 02:07, 12 June 2013 (→References: Adding/improving reference(s)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Examples

References

  • Mac Lane, Saunders; Moerdijk, Ieke (1992), Sheaves in geometry and logic. A first introduction to topos theory, Universitext, New York: Springer-Verlag, ISBN 0-387-97710-4, MR 1300636 {{citation}}: line feed character in |title= at position 32 (help)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Classifying_topos&oldid=559485851"