摘要
本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.
In this paper we prove that （1） The category of distributive generalized completely lattices and the category of quasicontinuous domains （both endowed with suitable morphisms） are equivalent, and （2） Any bounded-complete quasicontinuous domain with its Scott topology forms a maximal limit space.
出处
《数学进展》
CSCD
北大核心
2007年第4期399-406,共8页
Advances in Mathematics（China）
基金
Supported by NSFC(No.10331010)
The Research Fund for the Doctoral Program of Higher Education.
关键词
拟连续DOMAIN
广义完全分配格
超连续格
强伪代数格
极大极限空间
quasicontinuous domain
generalized completely distributive lattice
hypercontinuous lattice
strongly pseudoalgebraic lattice
maximal limit space
