广义完全分配格相关论文
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究．大约在同一时期，在纯数学领域，Lawson......
本文研究了半smooth格的一些基本性质,引入了强半smooth格,广义半smooth格,广义半smooth代数格,广义半smooth格的基等概念,并讨论......
本文给出了拟连续格和广义完全分配格范畴的逆极限,证明了逆极限函子保相应范畴的逆极限.
全文共分三章:
第一章,简单介......
本文证明了（1）在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;（2）对有界完备的拟连续domain P,（P,σ（P））为极大极限空间.......
证明了在广义完全分配格中二元关系ρ满足幂等性, 即ρ2=ρ, 借助于二元关系ρ给出了广义完全分配格的几个刻划.......
利用完备格同态为态射的广义完全分配格范畴的逆极限，讨论了函子保广义完全分配格范畴逆极限的条件，得出了广义完全分配格范畴上的局......
本文研究了广义完全分配格和强伪代数格的一些代数性质和拓扑性质，并给出它们的一些刻画．证明了广义完全分配格关于上拓扑是sober空......
定义了广义完全极小集,并证明了L为广义完全分配格与它的每个元都有广义完全极小集等价。在广义完全分配格中,给出了保广义完全极......
