Heyting algebra
次に、関手Ωのいわば「逆写像」にあたる、SFrmからSob への関手pt を導入する。ptは空間的完備ハイティング代数"F" に対し"F" の元を開集合として持つ位相空間を対応させる関手であり、したがってpt を実現するには"F" から点集合("p"oin"t" set)を再現する必要がある。