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