Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:operating_system
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:Topoi
|
| gptkbp:allows |
the interpretation of logical formulas
the study of logical consistency |
| gptkbp:application |
theoretical computer science
|
| gptkbp:can_be_extended_by |
the notion of a space
|
| gptkbp:can_create |
sites
|
| gptkbp:constructed_in |
topological spaces
|
| gptkbp:defines |
categorical limits and colimits
|
| gptkbp:developed_by |
the work of many mathematicians
|
| gptkbp:has_influence_on |
new insights in category theory
|
| gptkbp:has_programs |
homotopy theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Grothendieck topos
|
| gptkbp:is_a_framework_for |
sheaf theory
cohomology theories higher category theory the study of mathematical structures. various branches of mathematics categorical reasoning |
| gptkbp:is_a_tool_for |
defining derived categories
|
| gptkbp:is_analyzed_in |
categorical logic
functorial techniques |
| gptkbp:is_associated_with |
Grothendieck's work on schemes
|
| gptkbp:is_characterized_by |
topological properties
functors to the category of sets |
| gptkbp:is_connected_to |
the notion of a topos morphism
|
| gptkbp:is_described_as |
sheaves on a site
|
| gptkbp:is_explored_in |
various mathematical frameworks
|
| gptkbp:is_influenced_by |
the foundations of mathematics
the development of modern algebraic geometry |
| gptkbp:is_influential_in |
the development of modern algebra
|
| gptkbp:is_related_to |
topos theory
sheaf categories |
| gptkbp:is_represented_in |
a category of sheaves
|
| gptkbp:is_standardized_by |
gptkb:collection
topos of sheaves |
| gptkbp:is_studied_in |
homological algebra
logical frameworks |
| gptkbp:is_used_in |
algebraic geometry
|
| gptkbp:key |
modern mathematics
|
| gptkbp:named_after |
gptkb:Alexander_Grothendieck
|
| gptkbp:related_concept |
category theory
|
| gptkbp:research_interest |
gptkb:Mathematician
|
| gptkbp:subject |
mathematical logic
|
| gptkbp:thematic_element |
the study of topos theory
|
| gptkbp:type_of |
categorical abstraction
categorical structure topos with additional structure |