Locale范畴中的零维性

本文讨论ｌｏｃａｌｅ的零维性质，主要结果有：（１）给出ｌｏｃａｌｅＡ的核映射（ｎｕｃｌｅｕｓ）构成的ｌｏｃａｌｅＮ（Ａ）中上确界的点式刻划，并得到了Ｎ（Ａ）的紧性与Ａ的紧性之间的关系；（２）给出零维ｌｏｃａｌｅ与ｃｏｈｅｒｅｎｔｌｏｃａｌｅ之间的关系，以及零维ｌｏｃａｌｅ的紧零维反射；（３）给出零维ｌｏｃａｌｅ范畴在ｌｏｃａｌｅ范畴中的刻划．     

Locale的正则紧反射

ｌｏｃａｌｅ的正则紧反射函子的构造的明确描述问题是由ＢａｎａｓｃｈｅｗｓｋｉＢ．和ＭｕｌｖｅｙＣ．Ｊ．于１９８０年提出的,十多年来一直没有进展。本文通过在ｌｏｃａｌｅ上引入一种二元关系,给出了ｌｏｃａｌｅ的正则紧反射函子的构造性描述。     

无点滤子收敛

我们在ｌｏｃａｌｅ上定义了一种新的滤子收敛概念．对空间式ｌｏｃａｌｅ,这种收敛与拓扑收敛等价,并且适应于任意ｌｏｃａｌｅ．作为应用,我们给出了ｌｏｃａｌｅ紧的程度的刻划和 Ｃａｕｃｈｙ完备性的描述．     

L-fuzzy Locale理论与分配格的L-fuzzy拓扑表示

首先文中引入了Ｌ-ｆｕｚｚｙｌｏｃａｌｅ范畴，并证明了该范畴与满层Ｌ-ｆｕｚｚｙ拓扑空间范畴的关系类似于ｌｏｃａｌｅ与拓扑空间的联系．其次，文中建立了分配格的ｌｏｃａｌｅ式ｆｕｚｚｙＳｔｏｎｅ表示，并且与经典结果一致，任一分配格的Ｌ-ｆｕｚｚｙｌｏｃａｌｅ表示的点空间就是它的Ｌ-ｆｕｚｚｙ谱空间．     

L—fuzzyLocale理论与分配格的L—fuzzy拓扑表示

首先文中引入了Ｌ—ｆｕｚｚｙｌｏｃａｌｅ范畴，并证明了该范畴与满层Ｌ—ｆｕｚｚｙ拓扑空间范畴的关系类似于ｌｏｃａｌｅ与拓扑空间的联系．其次，文中建立了分配格的ｌｏｃａｌｅ式ｆｕｚｚｙＳｔｏｎｅ表示，并且与经典结果一致，任一分配格的Ｌ—ｆｕｚｚｙｌｏｃａｌｅ表示的点空间就是它的Ｌ—ｆｕｚｚｙ谱空间．     

关于Locale范畴反射子范畴的注解

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(<)'关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.     

关于Locale范畴反射子范畴的注解

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(?)’关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.     

拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射

从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．     

拓扑空间范畴,拓扑FUZZ范畴与拓扑分子格范略畴间的反射与余反射

从整体角度出发，证明拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚｚｙ是ＴＭＬ的反射与余反射（非满）子范畴。     

Locale的仿紧完全正则反射

1972年, Isbell利用locale中由正规覆盖构成的一致结构的完备化, 证明了仿紧完全正则locale范畴是locale范畴的满反射子范畴. 本文通过在locale的补零元理想格上做核映射的方法, 给出locale的仿紧完全正则反射的明确构造, 并证明locale的仿紧完全正则反射是locale的 Stone-&#268;ech紧化的子locale.     

因素空间和范畴

本文讨论了几种模糊范畴的Ｔｏｐｏｓ性质，把集丛理论、范畴理论应用到因素空间的研究之中，建立了同一因素集上和不同因素集上的因素空间之间的关系，并给出了子因素空间的概念和子因素空间的布尔运算。     

根范畴中的BGP反射函子

在导出范畴和根范畴中定义了BGP反射函子. 用Ringel的Hall代数方法, 应用所定义的BGP反射函子得到Kac-Moody Lie代数上经典的Weyl群作用.     

范畴上的一个函子及范畴

本文定义了一个由范畴Ｍ到范畴Ａ的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧ证明了定理：任意则其中Ｐ为素数．     

一类局部定向完备集及其范畴的性质

本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系，从而进一步给出了一种新的连续性概念，接着讨论了局部定向完备集，连续的局部定向完备集等对象的一些性质，最后考察了三种范畴的笛卡儿闭性，并证明了范畴LDCPO是范畴ALG的反射满子范畴．     

范畴CDCPO及其子范畴的完备性

讨论范畴CDCPO的完备性以及余积的存在性。证明了CDCPO的子范畴L-CDCPO不是完备的;给出了该范畴的一个非满的完备子范畴LCDOM并证明了该子范畴存在余积。给出了L-CDCPO范畴的满子范畴LCDOMI并证明其存在等值子。     

S紧locale与S紧空间

本文给出Ｓ紧ｌｏｃａｌｅ的内在刻画,作为推论,得到了一般Ｓ紧空间的内在刻画     

Locale 的内部与边界

本文定义了ｌｏｃａｌｅ的内部算子与边界算子,详细讨论了这两个算子的性质,进一步得到了ｌｏｃａｌｅ形式的Ｋｕｒａｔｏｗｓｋｉ定理。     

平衡范畴与半群的双序

研究范畴与半群通过幂等元双序建立的一种自然联系.对每个有幂等元的半群S,其幂等元生成的左、右主理想之集通过双序ω~e,ω~r自然确定两个有子对象、有像且每个包含都右可裂的范畴L(S),R(S),其中态射的性质与S中元素的富足性、正则性有自然对应.利用这个联系,我们定义了"平衡(富足、正规)范畴"概念.对任一平衡(富足、正规)范畴■,我们构造其"锥半群"■,证明■左富足(富足、正则),且每个平衡(富足、正规)范畴■都与某左富足(富足、正则)半群S的左主理想范畴L(S)(作为有子对象的范畴)同构.     

拟连续Domain及其子范畴间的伴随关系

基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL（分别地,有界完备连续Domain范畴CBD）是拟连续Domain范畴QCONT（分别地,Coherent拟连续 Domain范畴QCCOH）的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.     

拟连续Domain及其子范畴间的伴随关系

基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。