拟连续Domain及其子范畴间的伴随关系 |
| |
引用本文: | 寇辉,罗懋康.拟连续Domain及其子范畴间的伴随关系[J].数学年刊A辑,2002,23(5):633-642. |
| |
作者姓名: | 寇辉 罗懋康 |
| |
作者单位: | 四川大学数学学院,成都,610064 |
| |
基金项目: | 国家杰出青年基金,国家自然科学基金(No.10071053)和数学天元基金青年基金(No.TY10126022)资助的项目 |
| |
摘 要: | 基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。
|
关 键 词: | Adjunction 反射子范畴 拟连续Domain Smyth幂Domain |
文章编号: | 1000-8314(2002)05-0633-10 |
修稿时间: | 2001年4月6日 |
AD JUNCTIONS BETWEEN THE CATEGORY OF QUASICONTINUOUS DomainS AND ITS SUBCATEGORIES |
| |
Abstract: | |
| |
Keywords: | Adjunction |
本文献已被 万方数据 等数据库收录! |
|