Grothendieck Toposes

URI: https://gptkb.org/entity/Grothendieck_Toposes
GPTKB entity
Statements (44)
Predicate Object
gptkbp:instance_of gptkb:operating_system
gptkbp:bfsLayer 5
gptkbp:bfsParent gptkb:Topos_Theory
gptkbp:connects gptkb:Topos_Theory
Sheaf Theory
Model Categories
Set-Theoretic Foundations
gptkbp:developed_by gptkb:Alexander_Grothendieck
gptkbp:has_programs gptkb:philosopher
Homotopy Theory
gptkbp:has_property Functoriality
Limits and Colimits
Adjoint Functors
https://www.w3.org/2000/01/rdf-schema#label Grothendieck Toposes
gptkbp:includes Sheaves
gptkbp:is_characterized_by gptkb:Topos_Theory
Internal Logic
Categorical Limits
Grothendieck's Axioms
gptkbp:is_part_of gptkb:plant
gptkb:product
gptkb:Topos_Theory
Mathematical Logic
Abstract Algebra
Algebraic Structures
Mathematical Foundations
Sheaf Theory
Computational Mathematics
Homotopy Theory
Higher Dimensional Algebra
Geometric Topology
gptkbp:is_related_to gptkb:Topoi
Sheaf Categories
gptkbp:is_standardized_by gptkb:collection
gptkbp:is_studied_in gptkb:Mathematician
Theoretical Computer Science
Category Theory Research
gptkbp:is_used_in gptkb:Homotopy_Type_Theory
Algebraic Topology
Higher Category Theory
Derived Categories
gptkbp:provides A framework for sheaf theory
gptkbp:related_to gptkb:product
gptkbp:used_in gptkb:plant