About: Esakia space

An Entity of Type: television show, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

In mathematics, Esakia spaces are special ordered topological spaces introduced and studied by in 1974. Esakia spaces play a fundamental role in the study of Heyting algebras, primarily by virtue of the Esakia duality—the dual equivalence between the category of Heyting algebras and the category of Esakia spaces.

Property Value
dbo:abstract
  • In mathematics, Esakia spaces are special ordered topological spaces introduced and studied by in 1974. Esakia spaces play a fundamental role in the study of Heyting algebras, primarily by virtue of the Esakia duality—the dual equivalence between the category of Heyting algebras and the category of Esakia spaces. (en)
dbo:wikiPageID
  • 26600306 (xsd:integer)
dbo:wikiPageLength
  • 4148 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1037561357 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • In mathematics, Esakia spaces are special ordered topological spaces introduced and studied by in 1974. Esakia spaces play a fundamental role in the study of Heyting algebras, primarily by virtue of the Esakia duality—the dual equivalence between the category of Heyting algebras and the category of Esakia spaces. (en)
rdfs:label
  • Esakia space (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License