论文部分内容阅读
引入了相容LDomain概念,给出了相容LDomain的多种内部的和外部的刻画;利用Scott拓扑定义了相容LDomain的定向完备化,证明了相容LDomain的定向完备化是LDomain;考察了相容LDomain范畴,得知稳定映射为态射的相容LDomain范畴是Cartesian闭范畴,证明了稳定映射为态射的LDomain范畴为相容LDomain范畴的满的反射子范畴.