Heyting algebra
ストーン双対性の定式化で登場するもう一つの圏は、空間的完備ハイティング代数というある種の束を対象とする圏SFrmである。ハイティング代数とその圏の定義を述べる為まず束の定義とその性質を述べる。