Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:concept
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Topos_Theory
|
| gptkbp:developed_by |
gptkb:William_Lawvere
gptkb:F._William_Lawvere |
| gptkbp:has_influence_on |
Mathematical logic
Set theory Computational theory |
| gptkbp:has_programs |
gptkb:philosopher
Theoretical computer science |
| gptkbp:has_property |
Sheaf theory
Categorical semantics |
| gptkbp:has_style |
gptkb:Elementary_topos
gptkb:Grothendieck_topos Set-theoretic topos |
| https://www.w3.org/2000/01/rdf-schema#label |
Topoi
|
| gptkbp:is_characterized_by |
gptkb:Grothendieck_universes
gptkb:Homotopy_type_theory gptkb:Monoidal_categories Type theory Compactness Connectedness Geometric topology Algebraic topology Homological algebra Topological spaces Continuous functions Homeomorphisms Topological properties Separation axioms Sheaves Adjunctions Simplicial sets Cohomology theories Categorical logic Functorial semantics Exponentials Basis of topology Categorical foundations Categorical topology Closure operators Geometric morphisms Higher topos theory Infinity categories Internal logic Limits and colimits Subobject classifier Topos-theoretic constructions Topos-theoretic models |
| gptkbp:is_part_of |
gptkb:Mathematician
Abstract algebra |
| gptkbp:is_related_to |
Functoriality
Natural transformation |
| gptkbp:is_studied_in |
Homotopy theory
Higher category theory |
| gptkbp:is_used_in |
gptkb:operating_system
Model theory |
| gptkbp:related_to |
gptkb:product
|
| gptkbp:used_in |
gptkb:philosopher
Algebraic geometry |