完全海廷代數

在數學特別是序理論中 ， 完全海廷代數是作爲完全格的海廷代數 。 完全海廷代數是三個不同範疇的對象 ， 它們是範疇CHey ， locales的範疇Loc ， 它的對偶frames的範疇Frm 。