摘要
构造性地证明了以有左(右)伴随的Scot连续函数为态射的连续完备半格范畴和Scotdomain范畴,是完备半格范畴的余反射(反射)子范畴.
The continuous complete semilattice category and the Scott domain category are proved constructively to be reflective and coreflective subcategories of the complete semilattice category.
出处
《四川大学学报(自然科学版)》
CAS
CSCD
北大核心
1998年第4期495-499,共5页
Journal of Sichuan University(Natural Science Edition)
关键词
完备半格
连续完备半格
范畴
反射
余反射
complete semilattice,continuous complete semilattice,Scott domain.