Topos
Mathematical category / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Grothendieck topos?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
For other uses, see Topos (disambiguation).
In mathematics, a topos (US: /ˈtɒpɒs/, UK: /ˈtoʊpoʊs, ˈtoʊpɒs/; plural topoi /ˈtɒpɔɪ/ or /ˈtoʊpɔɪ/, or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology.[1] The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic.
This article needs additional citations for verification. (July 2015) |
The mathematical field that studies topoi is called topos theory.