相容L-Domain及其相关范畴性质

作者：徐罗山^*

来源：扬州大学学报(自然科学版), 2002, (01): 1-7.

• 相容L-Domain
• 定向完备化
• Scott拓扑
• 稳定映射
• 笛卡儿闭

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

• 出版日期2002-3-30
• 单位扬州大学