Z-连续格相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,属于格论、拓扑学、范畴论及理论计算机科学的交叉领域,所以受到众多......
该文证明了(1)在一定条件下, 以Z-连续格为objects和保Z-并的映射为morphisms的范畴ZL是卡氏闭的, (2)Z-代数偏序集范畴对偶等价旦......
记A表示以完备格为对象且<<满足插入性质,保Z-并和保≤z的映射作为态射的范畴,而B是A中全体Z-连续格为对象的满子范畴.我们给出了Z......
为把定向系统上的一些结果推广到Z子集系统上,本文主要证明了:1)L是Z-连续格L上的Z-Scott开滤子强分离L中的点L中的开滤子分离......
若Z为并完备的子集系统，且IZ（L）关于集合的包含关系构成完备格，则：⑴Z-连续格的函数空间仍为Z-连续的；⑵对于Z-连续格范畴ZL，定义了一函子......
Sober空间是介于T0空间与T2空间之间又完全独立于T1空间的一类拓扑空间,本文基于拓扑σZ(P),证明了Z-连续偏序集P上的拓扑σZ(P)当......
