幂拓扑分子格范畴及其乘积运算

引入幂分子格范畴、L底幂分子格范畴、幂拓扑分子格范畴和L底幂拓扑分子格范畴.给出幂分子格范畴与分子格范畴、L底幂分子格范畴与幂分子格范畴、幂拓扑分子格范畴与拓扑分子格范畴以及L底幂拓扑分子格范畴与幂拓扑分子格范畴之间的关系.证明了一族幂分子格的" 积"是其在幂分子格范畴中的乘积,一族L底幂分子格的"积"是其在L底幂分子格范畴中的乘积,一族幂拓扑分子格的" 积"是其在幂拓扑分子格范畴中的乘积,一族L底幂拓扑分子格的"积"是其在L底幂拓扑分子格范畴中的乘积.

拓扑分子格范畴中的逆系统及其逆极限

从范畴论的观点给出了拓扑分子格中逆系统的定义，得到了逆系统的逆极限结构，引入了两个逆系统之间映射的定义，由此导出了两个逆系统的逆极限之间的连续映射，称之为极限映射．最后，讨论了极限映射的一系列性质．

拓扑分子格范畴中的初始源泉

研究了拓扑分子格范畴中源泉的初始性,给出了拓扑分子格范畴中一个源泉是初始源泉的一个充要条件,即在拓扑分子格范畴中一个源泉是初始的当且仅当其上的余拓扑为使所有fi连续的最粗余拓扑.

弱拓扑分子格

目的建立弱拓扑分子格的初步理论。方法运用一一对应的思想和范畴论方法研究弱余拓扑的确定和弱拓扑分子格的范畴性质。结果证明了可以用弱闭包算子确定弱余拓扑,WTML(即弱拓扑分子格与保并连续映射的范畴)和TML(即拓扑分子格与保并连续映射的范畴)都是CL(即完备格与保并映射的范畴)上的拓扑范畴。结论扩展了拓扑分子格理论。

分子格范畴中商对象的构造

本文依据分子格的直积分解和满广义序同态的性质,证明了由满广义序同态诱导的分子格上的等价关系作的商集也可成为分子格,给出了分子格范畴中商对象的具体构造。

Frame偶范畴及若干相关的范畴

引入frame偶范畴FrmPair,它以Frame范畴Frm为子范畴,证明在范畴等价意义下,分子格范畴CD是locale范畴Loc的子范畴;拓扑分子格范畴TML是范畴FrmPoir之逆范畴的子范畴。

若干有点拓扑范畴间的几个关系

讨论了一般拓扑空间范畴与广义拓扑分子格范畴间的关系 ,同时指出了 LF拓扑空间范畴是

拓扑分子格范畴与相关范畴的关系

以Fuzzy拓扑学与点集拓扑学为背景,1979年我们提出了拓扑分子格理论,此后几经拓广,文献[3]与[4]是其最一般的框架。正如文献[3]所指出的,Fuzzy拓扑学与点集拓扑学都是拓扑分子格理论的特款,然而关于是否可以通过经典拓扑学的方法来处理拓扑分子格理论的可行性问题似乎并不很清楚。本文将从范畴论的角度出发讨论拓扑分子格范畴(?)与拓扑空间范畴(?)以及局部超紧Sober双拓扑空间范畴(?)之间的关系。

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

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

拓扑分子格范畴中的极限结构

范畴极限的研究是范畴论中一个重要而基本的问题。对于一个有极限与上极限的具体范畴,如果搞清楚它的极限与上极限的结构,那么这个范畴的很多性质就变为直接推论了。我们知道,拓扑分子格范畴中的上极限的结构是容易描述的,特别是上积结构很容易给出。但是,要想给出拓扑分子格范畴中的极限结构,则是一个很困难的问题。本文将利用已经得到的分子格范畴中的极限结构,给出拓扑分子格范畴中的极限构造定理。作为推论,得到了拓扑分子格范畴中的乘积、多重等子及逆系统的逆极限等的具体结构,从而回答了上述的困难问题。

STML(C)范畴

本文讨论由Lsmooth拓扑分子格和(L1,L2)smooth连续的广义序同态所构成的STML(C)范畴的若干结果,利用集合套的方法给出了态射的若干性质,证明了范畴STML(C)是拓扑范畴.

分子格范畴中的极限

本文通过对完备格上“”关系的抽象分析，引入了 完备格及 下集的概念。讨论了下集的一系列性质。证明了一个完备格中所有下集之集构成一个分子格，由此再结合范畴论知识，构造出了分子格范畴中的极限结构。解决了分子格范畴性质这一研究领域中最困难的问题之一。

Limit分子格

通过在完全分配格上引入理想收敛，给出ｌｉｍｉｔ分子格及其范畴，证明了其是包含拓扑分子格范畴为全反射范畴的笛卡儿闭范畴．

STML(L)范畴的若干结果

本文讨论了由(?)-smooth拓扑分子格和(?)-smooth连续的广义序同态所构成的STML((?)) 范畴的若干结果,证明了范畴STML((?))是拓扑范畴,范畴TML是范畴STML((?))的双反射满子范畴,以及两个伴随定理.