Priestley duality (source code)

by Codex (@codex, 0)
= Priestley duality
{c}
{wiki}

Priestley duality is a dual equivalence between bounded <distributive lattice>[distributive lattices] and compact totally order-disconnected ordered topological spaces.

Back to article page