In mathematics, a topos (UK /ˈtɒpɒs/, US /ˈtoʊpoʊs, ˈtoʊpɒs/; plural topoi /ˈtoʊpɔɪ/ or /ˈtɒ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 in a sense a generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic.

Property Value
dbo:abstract
• In mathematics, a topos (UK /ˈtɒpɒs/, US /ˈtoʊpoʊs, ˈtoʊpɒs/; plural topoi /ˈtoʊpɔɪ/ or /ˈtɒ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 in a sense a generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic. (en)
dbo:wikiPageID
• 21391464 (xsd:integer)
dbo:wikiPageRevisionID
• 734938482 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
• In mathematics, a topos (UK /ˈtɒpɒs/, US /ˈtoʊpoʊs, ˈtoʊpɒs/; plural topoi /ˈtoʊpɔɪ/ or /ˈtɒ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 in a sense a generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic. (en)
rdfs:label
• Topos (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is http://purl.org/linguistics/gold/hypernym of
is rdfs:seeAlso of
is foaf:primaryTopic of