Heyting algebra
ストーンの双対性定理はsober性を満たす位相空間の圏Sob が空間的完備ハイティング代数の圏SFrm との対応関係を示しているが、Sob からSFrm への関手Ωは射の向きを反対にするもの（反変関手）である為、Sob とSFrm では射の向きが反転してしまっており、両者は完全に同一視できるわけではない。