Grothendieck toposes

E621112

category-theoretic structure mathematical concept

Grothendieck toposes are highly structured categories that generalize topological spaces and serve as a unifying framework for geometry, logic, and cohomology in modern mathematics.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (4)

Label	Occurrences
Grothendieck topos	2
Grothendieck topos theory	1
Grothendieck toposes canonical	1
Topos Theory	1

How this entity was disambiguated

This entity first appeared as the object of triple T6834059 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Grothendieck toposes
Context triple: [Sheaves in Geometry and Logic, subject, Grothendieck toposes]

A. Grothendieck topology
A Grothendieck topology is an abstract framework in category theory that generalizes the notion of open covers in topology to define sheaves on arbitrary categories.
B. Sheaves in Geometry and Logic
Sheaves in Geometry and Logic is a foundational monograph that develops the theory of sheaves and topos theory and explores their deep connections to geometry, logic, and the foundations of mathematics.
C. Grothendieck duality
Grothendieck duality is a foundational theory in algebraic geometry that generalizes classical Serre duality to a broad categorical and sheaf-theoretic framework for studying duality on schemes and morphisms.
D. Categories for the Working Mathematician
Categories for the Working Mathematician is a foundational textbook in category theory that systematically develops the subject and its applications for professional mathematicians.
E. Grothendieck universe
A Grothendieck universe is a set-theoretic construct large enough to contain all the usual objects and operations of mathematics, used to rigorously handle "large" categories while avoiding paradoxes.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Grothendieck toposes
Target entity description: Grothendieck toposes are highly structured categories that generalize topological spaces and serve as a unifying framework for geometry, logic, and cohomology in modern mathematics.

A. Grothendieck topology
A Grothendieck topology is an abstract framework in category theory that generalizes the notion of open covers in topology to define sheaves on arbitrary categories.
B. Sheaves in Geometry and Logic
Sheaves in Geometry and Logic is a foundational monograph that develops the theory of sheaves and topos theory and explores their deep connections to geometry, logic, and the foundations of mathematics.
C. Grothendieck duality
Grothendieck duality is a foundational theory in algebraic geometry that generalizes classical Serre duality to a broad categorical and sheaf-theoretic framework for studying duality on schemes and morphisms.
D. Categories for the Working Mathematician
Categories for the Working Mathematician is a foundational textbook in category theory that systematically develops the subject and its applications for professional mathematicians.
E. Grothendieck universe
A Grothendieck universe is a set-theoretic construct large enough to contain all the usual objects and operations of mathematics, used to rigorously handle "large" categories while avoiding paradoxes.
F. None of above. chosen

Statements (49)

Predicate	Object
instanceOf	category-theoretic structure ⓘ mathematical concept ⓘ
appearsIn	SGA 4 NERFINISHED ⓘ Séminaire de Géométrie Algébrique (SGA) NERFINISHED ⓘ
definedAs	categories equivalent to categories of sheaves on a site ⓘ categories of sheaves of sets on a Grothendieck site ⓘ
developedBy	Alexander Grothendieck NERFINISHED ⓘ
developedIn	1960s ⓘ
enables	comparison of different cohomology theories ⓘ relative cohomology theories ⓘ
field	algebraic geometry ⓘ category theory ⓘ cohomology theory ⓘ homological algebra ⓘ mathematical logic ⓘ topos theory ⓘ
generalizes	categories of sheaves ⓘ sites ⓘ topological spaces ⓘ
hasExample	the category of sheaves on a topological space ⓘ the classifying topos of a theory ⓘ the topos of sheaves on a site of open sets ⓘ the étale topos of a scheme ⓘ
hasProperty	has a subobject classifier ⓘ has all small colimits ⓘ is a category with finite limits ⓘ is cartesian closed ⓘ is exact ⓘ is extensive ⓘ supports internal logic ⓘ supports intuitionistic higher-order logic ⓘ
namedAfter	Alexander Grothendieck NERFINISHED ⓘ
relatedTo	Grothendieck topologies NERFINISHED ⓘ classifying toposes ⓘ elementary toposes ⓘ geometric morphisms ⓘ sheaf theory ⓘ sites ⓘ syntactic toposes ⓘ étale toposes ⓘ
supports	cohomology with values in sheaves ⓘ derived functor cohomology ⓘ geometric morphisms between toposes ⓘ
usedFor	defining cohomology theories ⓘ interpreting higher-level set theory ⓘ interpreting intuitionistic logic ⓘ studying descent theory ⓘ studying étale cohomology ⓘ unifying geometry and logic ⓘ

How these facts were elicited

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

Sheaves in Geometry and Logic → subject → Grothendieck toposes ⓘ

Sheaves in Geometry and Logic → relatedTo → Grothendieck toposes ⓘ

this entity surface form: Topos Theory

Grothendieck topology → hasKeyNotion → Grothendieck toposes ⓘ

this entity surface form: Grothendieck topos

Grothendieck topology → centralTo → Grothendieck toposes ⓘ

this entity surface form: Grothendieck topos theory

Grothendieck category → relatedTo → Grothendieck toposes ⓘ