Higher Topos Theory
E1266017
UNEXPLORED
Higher Topos Theory is a foundational monograph in modern algebraic topology and higher category theory that develops the theory of ∞-topoi and their applications to homotopy theory and algebraic geometry.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Higher Topos Theory canonical | 1 |
| On ∞-topoi | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17386421 — 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: Higher Topos Theory Context triple: [Jacob Lurie, notableWork, Higher Topos Theory]
-
A.
Grothendieck toposes
Grothendieck toposes are highly structured categories that generalize topological spaces and serve as a unifying framework for geometry, logic, and cohomology in modern mathematics.
-
B.
Sketches of an Elephant: A Topos Theory Compendium
Sketches of an Elephant: A Topos Theory Compendium is a comprehensive, multi-volume reference work on topos theory that systematically develops and surveys the subject at an advanced research level.
-
C.
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.
-
D.
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.
-
E.
Théorie des topos et cohomologie étale des schémas
Théorie des topos et cohomologie étale des schémas is a foundational multi-volume work in algebraic geometry, originating from Grothendieck’s Séminaire de Géométrie Algébrique, that develops topos theory and étale cohomology of schemes.
- 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: Higher Topos Theory Target entity description: Higher Topos Theory is a foundational monograph in modern algebraic topology and higher category theory that develops the theory of ∞-topoi and their applications to homotopy theory and algebraic geometry.
-
A.
Grothendieck toposes
Grothendieck toposes are highly structured categories that generalize topological spaces and serve as a unifying framework for geometry, logic, and cohomology in modern mathematics.
-
B.
Sketches of an Elephant: A Topos Theory Compendium
Sketches of an Elephant: A Topos Theory Compendium is a comprehensive, multi-volume reference work on topos theory that systematically develops and surveys the subject at an advanced research level.
-
C.
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.
-
D.
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.
-
E.
Théorie des topos et cohomologie étale des schémas
Théorie des topos et cohomologie étale des schémas is a foundational multi-volume work in algebraic geometry, originating from Grothendieck’s Séminaire de Géométrie Algébrique, that develops topos theory and étale cohomology of schemes.
- F. None of above. chosen
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Higher Topos Theory