在数学特别是序理论中,完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴的对象,它们是范畴CHey,locales的范畴Loc,它的对偶frames的范畴Frm。定义 考虑是完全格的偏序集合(P, ≤)。则P是完全海廷代数,如果任何下列等价条件中的一个成立:P是海廷代数,就是说运算 (x - )有一个右伴随(也...
海廷代数 释义 Heyting algebra 海廷代数; 行业词典 数学 Heyting algebra
规范用词海廷代数英文翻译Heyting algebra 所属学科数学 > 组合学一般数学系统 > 泛代数名词审定数学名词审定委员会见载刊物《数学名词》 科学出版社公布时间1993年泛代数 的上级学科 数学 组合学一般数学系统海廷代数 相关科技名词 泛代数universal algebra 空元运算nullary operation 一元运算unary operation 二元运算...
完全海廷代数是指具有完全格的海廷代数。海廷代数H的子代数是指H的子集H1,包含0和1,并在∧、∨和→等运算下是封闭的。这表示在¬下也是封闭的。等价定义 格理论的定义 海廷代数的等价定义可由如下映射给出:对于H中的某些固定元素a, 定义为 有界格H是海廷代数,当且仅当所有的映射fa都是单调伽罗瓦连接的...