关于Karoubian范畴的推出范畴的一点注记

给定一个加法范畴A，证明了如果A是Karoubian范畴，则以A中的推出为对象，推出态射为态射所构成的推出范畴A0也是Karoubian范畴。     

加法范畴的极限范畴是加法范畴

讨论以范畴C中的极限为对象,极限态射为态射构成的极限范畴Cl.研究极限范畴的上积,并证明加法范畴的极限范畴仍为加法范畴.     

推出范畴的上核

讨论推出与推出之间的关系,定义了推出态射,在此基础上建立了推出范畴影l^＊．影l是以范畴留中的推出为对象,推出态射为态射构成的范畴．并进一步证明了推出范畴中上核存在的条件．     

范畴的广义局部化

通过范畴的两个乘法系定义了右分式的一个等价关系,由此引入以原范畴对象为对象,右分式等价类为态射的范畴的广义局部化概念.最后证明加法范畴的广义局部化范畴仍然是加法范畴.     

加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。     

预加法范畴中态射的(1,2)-逆与βα(1,2)γ的不变性

研究了预加法范畴中态射的(1,…,i)-逆,给出了态射三乘积βα′γ的不变性的充要条件,其中α′是态射α的(1)-逆或者(1,2)-逆。     

Karoubian范畴的极限范畴

证明了以Karoubian范畴中的极限为对象,极限态射为态射构成的极限范畴也是Karoubian范畴.作为应用,得到了Karoubian范畴的推出范畴也是Karoubian范畴.     

泛态射范畴的平凡扩张

设C,D是加法范畴, S:D→C, F:C→C是两个加法函子,且范畴C关于S具有足够多泛态射,则平凡扩张范畴C■F具有足够多的泛态射.进一步地,得到泛态射范畴的平凡扩张与范畴的平凡扩张的泛态射范畴等价.     

关于态射的广义Moore-penrose逆

：给出了预加法范畴中态射广义Ｍｏｏｒｅ＿ｐｅｎｒｏｓｅ逆存在的充要条件,推广了态射的Ｍｏｏｒｅ＿ｐｅｎｒｏｓｅ逆的相应结果．     

n-拉回范畴的核

在Abel范畴C中,定义,n-拉回态射,在此基础上建立,n-拉回范畴C*,即C*是以范畴C中n-拉回为对象,n-拉回态射为态射.并进一步证明了 n-拉回范畴C*中核是存在的,这推广了文[1]的结论.     

群与模范畴中的积和余积

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

辫子张量范畴M^HA

设(H,σ)是余拟三角双代数,A为右H-余模代数,则有相关Hopf模范畴MHA．在MHA中若定义张量积运算,则证明了MHA是一个张量范畴.同时给出了MHA是辫子张量范畴的一个充分条件．特别地,MH是辫子张量范畴.     

E-quantale范畴

引入了E-quantale的定义及其一些相关概念, 讨论了E-quantale的一些重要性质。 证明了Quantale的幂集和E-quantale的乘积均可构成E-quantale, 给出了Quantale的一种自然扩张,由E-quantale可以扩张成一个Quantale。 在Quantale子范畴和E-quantale范畴之间定义了一个嵌入函子K, 并在函子K与遗忘函子U之间构造了一个自然变换, 证明了在一定条件下一个E-quantale和某个单位Quantale的幂集同构。     

自由理想空间范畴

目的定义自由理想空间范畴,研究自由理想空间范畴的范畴性质。方法以空间结构的讨论方式,提出非空集合上的自由理想及自由理想空间的概念,构造自由理想空间范畴。结果通过利用范畴论的研究方法得到自由理想空间范畴的一些重要范畴性质。结论自由理想空间范畴既是拓扑结构的,又是笛卡尔闭的。     

三角范畴上t-结构的Ki-群

结合t-结构的性质,讨论三角范畴的K_i-群与其t-结构K_i-群之间的关系,得到若t-结构是稳定t-结构,则三角范畴的K_i-群同构于其t-结构K_i- 群的直和(i=0,1)。     

胞腔范畴的一个等价定义

推广了代数中胞腔理想的概念到范畴的层次，并且通过研究范畴的理想链，给出了胞腔范畴的一个等价定义．      

L-fuzzy滤子空间范畴

给出L-滤子和L-fuzzy滤子空间的概念,讨论了固定集合X上全体L-滤子之集的一些格论性质。研究了L-fuzzy滤子空间范畴LFIL的若干范畴性质,给出了范畴LFIL中等子和乘积的构造,证明了LFIL是拓扑范畴,得到了范畴LFIL与范畴LCFIL之间存在着一对伴随函子的结果。