连续Quantale及其范畴性质

研究了连续Quantale及其范畴性质,定义了半连续Quantale,在此基础上讨论了半连续Quantale、连续Quantale和正则Quantale之间的关系.证明了严格右侧的连续Quantale是正则Quantale,严格右侧的左侧Quantale是连续Quantale当且仅当它是半连续Quantale.给出了连续Quantale中理想的概念,探讨了连续Quantale中理想和连续Quantale范畴的性质,证明了此范畴不仅是点化的、连通的,而且有乘积、每一个投射都是收缩.     

函子范畴与范畴的平凡扩张

设C为小范畴,D为预加法范畴,根据范畴D上自加法函子F,定义函子范畴F上自加法函子f,并给出一族范畴同构(D∝F)C≌D∝F     

范畴的伴随函子

研究了两个Grothendieck范畴之间的关系及一般伴随函子之间的关系.所得结果对研究各种代数结构是有用的.     

表示成涵子范畴的模糊范畴

利用模糊集的范畴Ｆｕｚ，分别给出了四个范畴Ｆｕｚ２，ＦｕＺ→，Ｍ－Ｆｕｚ，ＦＢｎ（Ｉ），并证明了它们均可以表示成从某个小范畴（Ｓｍａｌｌｃａｔｅｇｏｒｙ）到范畴Ｆｕｚ的涵子范畴（Ｆｕｎｃｔｏｒｃａｔｅｇｏｒｙ）．     

Abel范畴的一种构造

利用一般范畴D构造了新范畴ID和PD,证明了若D是Abel范畴,则存在范畴ID到IopD的忠实函子,且ID也是Abel范畴.     

Girard Quantale范畴中的乘积

本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子.     

范畴的中心及其应用

给出推出范畴Do的中心与积范畴D×D×D的中心是一一对应的,极限范畴Dl的中心与积范畴(D×D×…×D)/I的中心是一一对应的(I是极限范畴Dl中的指标集),函子范畴的子范畴DC’的中心与范畴D的中心可相互确定等结果.     

右正合范畴及其局部化范畴

引入右正合范畴的概念,并证明了右正合范畴的局部化范畴仍然是右正合范畴.同时证明了两类态射范畴是右正合范畴.     

Hom-tensor关系式中的两个逆同构

模范畴中有两个重要的Hom—tensor关系式,通常是利用一般的范畴和函子理论来证明的,这种证法没有给出其中的自然同构的逆同构。本文利用投射模的对偶基,给出了它们的逆同构。     

函子范畴上加性函子的表示

给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理.将关于模范畴的Watts定理推广到函子范畴.     

关于伴随函子的等价定义

伴随是范畴论中最重要的概念之一．其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性．从而可以更加直观地理解伴随函子的定义．并给出了伴随函子的应用例子。     

函子的群逆

定义了函子的群逆,给出了函子的群逆存在的充要条件。     

伴随上的自然变换

引进了自然变换函了的概念，建大了自然同构与伴随间的一类等价关系，系统研究了伴随上的自然变换，主要结果：设＜Ｆ，Ｋ１，η１，ε１＞：Ｘ→Ａ，＜Ｇ，Ｋ２，η２，ε２＞：Ｘ→Ａ．ｎ：Ｆ→Ｇ，ｍ，Ｋ１→Ｋ２，若ｎ２＝（ｍ°ｎ）η１，ε１＝ε２（ｎ°ｍ），则ｍ，ｎ为自然同构．     

函子范畴的本质(多余)子对象

设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。     

Girard Quantale范畴中的极限

本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.     

态射广义逆的一个性质

证明了如下结果：设C是一个带有对合“*”及正性条件的正则预加性范畴，若{f^-}={g^-}，则f=g．