摘要
引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L
This paper introduces the new concept of consistent LDomains and gives various internal and external characterizations of them. In terms of Scott topology, it defines the directed completion of an LDomain, and proves that the completion of a consistent LDomain is an LDomain. The author also examines the directed completions from category aspect, showing that the category of consistent LDomains having stable functions as morphisms is Cartesian closed and the category of LDomains is a full reflective subcategory of the category of consistent LDomains.
出处
《扬州大学学报（自然科学版）》
CAS
CSCD
2002年第1期1-7,共7页
Journal of Yangzhou University：Natural Science Edition
基金
国家自然科学基金资助项目 (6 0 0 740 13)
江苏省教委自然科学基金资助项目 (99KDJ110 0 0 4)
