Classifying topos
http://dbpedia.org/resource/Classifying_topos an entity of type: MartialArtist
In mathematics, a classifying topos for some sort of structure is a topos T such that there is a natural equivalence between geometric morphisms from a cocomplete topos E to T and the category of models for the structure in E.
rdf:langString
rdf:langString
Classifying topos
xsd:integer
39651142
xsd:integer
1026573566
rdf:langString
classifying+topos
rdf:langString
Classifying topos
rdf:langString
In mathematics, a classifying topos for some sort of structure is a topos T such that there is a natural equivalence between geometric morphisms from a cocomplete topos E to T and the category of models for the structure in E.
xsd:nonNegativeInteger
2012