Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:operating_system
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:Topoi
|
| gptkbp:has |
Functor category
Presheaf topos Set topos Sheaf topos Simplicial set topos Topos of sheaves |
| gptkbp:has_property |
Exponentials
Limits and colimits Subobject classifier Categorical structure Natural numbers object |
| https://www.w3.org/2000/01/rdf-schema#label |
Elementary topos
|
| gptkbp:is_associated_with |
gptkb:Shulman
gptkb:Hirschhorn gptkb:Grothendieck gptkb:Lawvere gptkb:Reyes gptkb:Homotopy_type_theory gptkb:Bourbaki gptkb:operating_system Cohomology Model theory Tarski Algebraic topology Functoriality Homology Sheaf theory Categorical logic Set-theoretic foundations Categorical foundations Categorical topology Adámek Bénabou Categorical algebra Categorical cohomology Categorical homology Higher-dimensional category theory Joyal Mac Lane Moerdijk Quillen Topos-theoretic semantics Type-theoretic foundations Voevodsky |
| gptkbp:is_characterized_by |
Sheaf theory
Categorical semantics |
| gptkbp:is_related_to |
gptkb:product
Set theory |
| gptkbp:is_studied_in |
gptkb:Homotopy_type_theory
Type theory Higher category theory |
| gptkbp:is_used_in |
Algebraic geometry
Mathematical logic Homotopy theory |