对偶等价相关论文
该文证明了(1)在一定条件下, 以Z-连续格为objects和保Z-并的映射为morphisms的范畴ZL是卡氏闭的, (2)Z-代数偏序集范畴对偶等价旦......
该文主要从两方面讨论连续Domain理论中的几个问题.一方面在经典Domain理论中,对连续Domain本身的性质进行了深入研究,得到连续Dom......
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......
引入了Zs-相容集系统的概念,讨论了Zs-相容连续偏序集的一系列性质。证明了Zs-相容连续偏序集范畴对偶等价于完全分配格范畴的一个......