幺半群S-系范畴函子的自然变换

给出了幺半群S-系范畴的若干对自然同构的函子.研究了Hom函子和张量函子的性质,并得到S-系是忠实平衡的一个充要条件.在幺半群S-系范畴中得到若干函子的自然同构.另外,对左R右S-双系U,证明了:RUS是忠实平衡双系当且仅当RR和SS是U-自反的.     

S-系的生成和上生成

借助于模论中的方法,在半群S-系范畴中引人生成元与上生成元的概念,给出生成元与上生成元的一些刻画,并讨论了S-系的Trace和Reject的性质与结构．     

直投射S-系

设S是幺半群含有零元0≠1，且S- 为S^0-Act中的对象。引进直投射S－系，给出在中心S- 系下，直投射S－系与投射S－系的等价性。     

S-系的内射上生成子

本文借助于模论中的方法,在中心S-系范畴中,给出了上生成子的若干刻画.利用函子的自然同构,给出了平坦S-系的一些刻画,得到了内射上生成子,投射,内射,生成子之间的一些关系.     

关于S-系的局部化

设S是幺半群,借助环与模范畴中的方法,讨论了半群S-系局部化的若干性质得到了S-系局部化的泛性质,并证明了T-1S的素理想和S中与T不相交的理想有一个保序的双射T-1P(→)P.     

S-纯子模的若干刻画

Iuliu Cdvei引入了S-纯子模的概念，本文主要研究了S-纯子模的相关性质，并给出了S-纯子模的若干等价刻画。     

C-内射S-系

不同的内射性的研究在S-系研究中起着重要作用。通过定义C-内射S-系,讨论了C-内射系的性质、充分必要条件。给出了C-内射系的同调刻划。证明了有限内射系是C-内射的,C-内射系是主弱内射的,但对应的逆命题不成立。得到了所有左理想是C-内射的幺半群刻划及C*半群上所有S-系是C-内射的同余刻划。     

Gini平均的S-凸性和S-几何凸性的充要条件

本文给出Gini平均的S-凸性和S-几何凸性的充要条件,加强已有的一个结果。     

粗糙S-子系

引入S-系的上、下近似算子,定义了粗糙S-子系的概念,讨论了S-系的子集在上下近似算子作用下的性质,并讨论了S-系直积的上、下近似集的性质．     

序半群的K-理论

设S为幺半群,1为其单位元,B是非空集合.若有映射(S在B上的作用)S×B→B满足s(tb)=(st)b,1b=b,其中s,t∈S,b∈B,则称B为(左)S-系.宋光天利用有限生成投射S-系讨论了半群的Grothendieck群和Whitehead群.在文[6]中,作者给出了无零元序幺半群S上的投射序S-系的结构.本文首先利用不可分强凸子系给出了序S-系的分解定理,然后给出了投射序S-系的结构,最后讨论了序半群上的Grothendieck群.     

正则弱平坦左系的平坦性

设Ｓ是幺半群，文中证明了在某些条件之下，正则的弱平坦左Ｓ－系一定是平坦的。     

同底L-fuzzy拓扑空间范畴及其积运算

引入同底L-fuzzy拓扑空间范畴,证明了一族L-fuzzy拓扑空间的"乘积空间"正是其在上述范畴中的乘积.引入一族L-fuzzy拓扑空间的"上积空间",证明了一族L-fuzzy拓扑空间的"上积空间"正是其在上述范畴中的上积.     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

群与模范畴中的积和余积

积和余积是范畴学中的一对对偶概念，作为范畴学的一对基本概念自然在其具体对象中就会有所体现，以群，模为对象来讨论它们的积和余积。     

三类特殊闭包空间的范畴性质

研究推理闭包空间范畴RCS、无底闭包空间范畴NCS以及代数闭包空间范畴ACS的性质。证明了RCS和NCS有乘积和余等值子但没有余积和等值子,ACS是一个topological construct,RCS是NCS的余反射满子范畴,并且ACS是CS(闭包空间范畴)的余反射满子范畴。     

A集的局部化

本文在 A 集范畴 Ens-A 中引入局部化的概念.证明了如果 A 集 M 是内射(右投射、平坦),则其局部化后得到 S~(-1) A 集 S~(-1) M 也是内射(右投射、平坦),并由此推出如果交换幺半群 A 是完全内射(完全投射,绝对平坦)的.则半群局部化 S~(-1) A 亦分别具有上述性质.同时本文证明了对于 A 集 M 和 N,及 A 的子半群 S(S 满足条件:■_(S1,S2) ∈S,存在■ y ∈A,使得 ys_1=ys_2 ∈S)有 S~(-1) A 同构:S~(-1) (M■ N)≌S~(-1) M■S~(-1) N.     

邻域系算子范畴及相关性质

对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是同构的2个范畴.