Heyting algebra
ストーン双対性は、任意のsober空間"X" に対しformula_11が"X" と「自然に」同型になり、さらに任意の空間的完備ハイティング代数"F" に対し、formula_12が"F" と「自然に」同型になる事を意味する。「自然に」という言葉の意味は圏論でいう「自然同値」の概念によって精緻化されるが、ここではその説明を省く。詳細は自然変換の項目を参照。