在数学特别是序理论中，完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴的对象，它们是范畴CHey，locales的范畴Loc，它的对偶frames的范畴Frm。定义 考虑是完全格的偏序集合（P, ≤）。则P是完全海廷代数，如果任何下列等价条件中的一个成立：P是海廷代数，就是说运算 (x - )有一个右伴随（也...
实用模板 法律 建筑 互联网 行业资料 政务民生 说明书 生活娱乐 搜试试 续费VIP 立即续费VIP 会员中心 VIP福利社 VIP免费专区 VIP专属特权 客户端 登录 百度文库 基础教育 对称的时态海廷代数©2022 Baidu |由 百度智能云 提供计算服务 | 使用百度前必读 | 文库协议 | 网站地图 | 百度营销 ...
海廷代数 释义 Heyting algebra 海廷代数; 行业词典 数学 Heyting algebra
完全海廷代数是指具有完全格的海廷代数。海廷代数H的子代数是指H的子集H1，包含0和1，并在∧、∨和→等运算下是封闭的。这表示在¬下也是封闭的。等价定义 格理论的定义 海廷代数的等价定义可由如下映射给出：对于H中的某些固定元素a， 定义为 有界格H是海廷代数，当且仅当所有的映射fa都是单调伽罗瓦连接的...