Browse Wiki & Semantic Web

Jump to: navigation, search
Http://dbpedia.org/resource/Stone functor
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://dbpedia.org/resource/Stone_functor
http://dbpedia.org/ontology/abstract In mathematics, the Stone functor is a funIn mathematics, the Stone functor is a functor S: Topop → Bool, where Top is the category of topological spaces and Bool is the category of Boolean algebras and Boolean homomorphisms. It assigns to each topological space X the Boolean algebra S(X) of its clopen subsets, and to each morphism fop: X → Y in Topop (i.e., a continuous map f: Y → X) the homomorphism S(f): S(X) → S(Y) given by S(f)(Z) = f−1[Z].f): S(X) → S(Y) given by S(f)(Z) = f−1[Z].
http://dbpedia.org/ontology/thumbnail http://commons.wikimedia.org/wiki/Special:FilePath/Stone_functor.svg?width=300 +
http://dbpedia.org/ontology/wikiPageExternalLink https://web.archive.org/web/20150421081851/http:/katmat.math.uni-bremen.de/acc/acc.pdf + , http://katmat.math.uni-bremen.de/acc/acc.pdf +
http://dbpedia.org/ontology/wikiPageID 20847164
http://dbpedia.org/ontology/wikiPageLength 1315
http://dbpedia.org/ontology/wikiPageRevisionID 1117278924
http://dbpedia.org/ontology/wikiPageWikiLink http://dbpedia.org/resource/Pointless_topology + , http://dbpedia.org/resource/Boolean_homomorphism + , http://dbpedia.org/resource/Topological_space + , http://dbpedia.org/resource/Category:General_topology + , http://dbpedia.org/resource/Boolean_algebra_%28structure%29 + , http://dbpedia.org/resource/Continuous_map + , http://dbpedia.org/resource/Clopen_set + , http://dbpedia.org/resource/Category_%28mathematics%29 + , http://dbpedia.org/resource/Category:Functors + , http://dbpedia.org/resource/Category_of_topological_spaces + , http://dbpedia.org/resource/Mathematics + , http://dbpedia.org/resource/Category:Boolean_algebra + , http://dbpedia.org/resource/Functor + , http://dbpedia.org/resource/File:Stone_functor.svg + , http://dbpedia.org/resource/Stone%27s_representation_theorem_for_Boolean_algebras +
http://dbpedia.org/property/date "2015-04-21"^^xsd:date
http://dbpedia.org/property/url https://web.archive.org/web/20150421081851/http:/katmat.math.uni-bremen.de/acc/acc.pdf +
http://dbpedia.org/property/wikiPageUsesTemplate http://dbpedia.org/resource/Template:Cattheory-stub + , http://dbpedia.org/resource/Template:Webarchive + , http://dbpedia.org/resource/Template:Topology-stub + , http://dbpedia.org/resource/Template:Isbn +
http://purl.org/dc/terms/subject http://dbpedia.org/resource/Category:Functors + , http://dbpedia.org/resource/Category:Boolean_algebra + , http://dbpedia.org/resource/Category:General_topology +
http://purl.org/linguistics/gold/hypernym http://dbpedia.org/resource/S +
http://www.w3.org/ns/prov#wasDerivedFrom http://en.wikipedia.org/wiki/Stone_functor?oldid=1117278924&ns=0 +
http://xmlns.com/foaf/0.1/depiction http://commons.wikimedia.org/wiki/Special:FilePath/Stone_functor.svg +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf http://en.wikipedia.org/wiki/Stone_functor +
owl:sameAs http://rdf.freebase.com/ns/m.053lxh5 + , http://dbpedia.org/resource/Stone_functor + , http://www.wikidata.org/entity/Q7619065 + , https://global.dbpedia.org/id/4w5eM +
rdfs:comment In mathematics, the Stone functor is a funIn mathematics, the Stone functor is a functor S: Topop → Bool, where Top is the category of topological spaces and Bool is the category of Boolean algebras and Boolean homomorphisms. It assigns to each topological space X the Boolean algebra S(X) of its clopen subsets, and to each morphism fop: X → Y in Topop (i.e., a continuous map f: Y → X) the homomorphism S(f): S(X) → S(Y) given by S(f)(Z) = f−1[Z].f): S(X) → S(Y) given by S(f)(Z) = f−1[Z].
rdfs:label Stone functor
hide properties that link here 
http://dbpedia.org/resource/Stone-functor + http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/Stone_functor + http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/Stone_functor + owl:sameAs
 

 

Enter the name of the page to start semantic browsing from.