海廷代数 编辑
在数学里，海廷代数是一特殊的偏序集，经由广义化布尔代数而成，得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的，是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在数学中，格是其非空有限子集都有一个上确界和一个下确界的偏序集合。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。
在数学特别是序理论中，完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴论的对象，它们是范畴CHey，locales的范畴Loc，它的对偶frames的范畴Frm。
在数学中，格是其非空有限子集都有一个上确界和一个下确界的偏序集合。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。
在数学中，格是其非空有限子集都有一个上确界和一个下确界的偏序集合。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。
在数学特别是序理论中，完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴论的对象，它们是范畴CHey，locales的范畴Loc，它的对偶frames的范畴Frm。