出典:Wikipedia
出典:『Wikipedia』 (2011/05/14 16:49 UTC 版)
In mathematics, Esakia duality is the dual equivalence between the category of Heyting algebras and the category of Esakia spaces. Esakia duality provides an order-topological representation of Heyting algebras via Esakia spaces.