论文部分内容阅读
基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件。研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构。最后,证明了连通代数domain范畴与偏序集范畴等价。