Heyting algebra
次にsober空間の圏Sobと空間的完備ハイティング代数の圏SFrmとの対応関係の詳細を述べる。