|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:appliesTo
|
gptkb:algebraic_geometry
gptkb:logic
gptkb:set_theory
homological algebra
sheaf theory
|
|
gptkbp:concerns
|
gptkb:geometry
gptkb:logic
categories
topoi
|
|
gptkbp:developedBy
|
gptkb:William_Lawvere
gptkb:Myles_Tierney
|
|
gptkbp:field
|
gptkb:mathematics
|
|
gptkbp:generalizes
|
gptkb:point-set_topology
gptkb:set_theory
|
|
gptkbp:hasConcept
|
gptkb:Functor
gptkb:dictionary
gptkb:website
morphism
sheaf
limit
cartesian closed category
colimit
pullback
pushout
subobject classifier
internal logic
|
|
gptkbp:hasSubfield
|
gptkb:category_theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Topos Theory
|
|
gptkbp:introducedIn
|
1960s
|
|
gptkbp:notablePerson
|
gptkb:Saunders_Mac_Lane
gptkb:Alexander_Grothendieck
gptkb:Peter_Johnstone
gptkb:André_Joyal
gptkb:Jean_Bénabou
|
|
gptkbp:notablePublication
|
gptkb:Categories_for_the_Working_Mathematician
gptkb:Sheaves_in_Geometry_and_Logic
Toposes, Triples and Theories
|
|
gptkbp:relatedTo
|
gptkb:Grothendieck_topos
model theory
intuitionistic logic
homotopy theory
categorical logic
synthetic differential geometry
elementary topos
geometric morphism
higher topos theory
logical functor
|
|
gptkbp:bfsParent
|
gptkb:Peter_T._Johnstone
|
|
gptkbp:bfsLayer
|
8
|