ハイティング代数
さて"X" をsober空間とし、"F" = Ω("X" )とする。"X" の点"x" ∈ "X" に対し、一点写像 p"x" : 1 → "X" をp"x"(1) = "x" となる写像とする。するとsober空間"X" 上の点と"e" から"X" への写像p"x"は明らかに1対1で対応する。また1 から"X" への写像p"x" : 1 → "X" には空間的完備ハイティング代数間の写像Ω(p"x") : "F" → Ω("E" ) = 2 が対応する。以上の考察から"X" の各点に射"F" → 2が対応する。