| http://dbpedia.org/ontology/abstract
|
In mathematics, The fundamental theorem of topos theory states that the slice of a topos over any one of its objects is itself a topos. Moreover, if there is a morphism in then there is a functor which preserves exponentials and the subobject classifier.
|
| http://dbpedia.org/ontology/wikiPageID
|
50176405
|
| http://dbpedia.org/ontology/wikiPageLength
|
4184
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1112637375
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Timeline_of_category_theory_and_related_mathematics +
, http://dbpedia.org/resource/Category:Topos_theory +
, http://dbpedia.org/resource/Morphism +
, http://dbpedia.org/resource/Subobject_classifier +
, http://dbpedia.org/resource/Deduction_Theorem +
, http://dbpedia.org/resource/Functor +
, http://dbpedia.org/resource/Exponential_object +
, http://dbpedia.org/resource/Comma_category +
, http://dbpedia.org/resource/Object_%28category_theory%29 +
, http://dbpedia.org/resource/Topos +
, http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:GBurl +
, http://dbpedia.org/resource/Template:Technical +
, http://dbpedia.org/resource/Template:Cite_book +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Topos_theory +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Fundamental_theorem_of_topos_theory?oldid=1112637375&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Fundamental_theorem_of_topos_theory +
|
| owl:sameAs |
http://dbpedia.org/resource/Fundamental_theorem_of_topos_theory +
, https://global.dbpedia.org/id/2NsxV +
, http://www.wikidata.org/entity/Q25305241 +
|
| rdfs:comment |
In mathematics, The fundamental theorem of topos theory states that the slice of a topos over any one of its objects is itself a topos. Moreover, if there is a morphism in then there is a functor which preserves exponentials and the subobject classifier.
|
| rdfs:label |
Fundamental theorem of topos theory
|
