笛卡尔闭范畴相关论文
余拓扑（即拓扑空间中闭集的全体）的确定是一个有趣的问题.由文献[17,18,23,25]知可以用预内部算子,预外部算子,预边界算子,预导算子,......
本文既研究了有效代数和伪有效代数中的问题又研究了格值拓扑空间中的问题,但研究想法都来自于格上拓扑学。我们知道,量子逻辑是量......
Domain理论是由Scott于20世纪60年代末创立的,其目的是为计算机函数式语言提供指称语义.经过多年的发展,Domain理论已经取得了非常......
产生于上世纪70年代初期的论域理论是理论计算机科学的一个重要领域,旨在为计算机函数式语言的研究奠定数学基础.序和拓扑的相互结......
本文在总结和补充D-预连续或D-预代数偏序集以及它们之间的D△-连续函数的有关结论的基础上,得到了一类以上有界双有限偏序集为对......
该文研究了bc—domain与其他domain之间的联系，给出了bc-domain的一些性质，得到了范畴BC不是笛卡尔闭范畴，最后给出了bc-domain与core......
