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

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

一类既为右本原又为左本原的加法范畴

在环论中,Bergman给出了右本原环不是左本原环的例子。由于加法范畴的一部分结构是环,所以,在一般情况下,右本原加法范畴并不是左本原加法范畴.由[1]知如果R是有极小单侧理想的环,则R是右本原环当且仅当R为左本原环。这一结果并不能完全平行地推广到加法范畴中,下面我们进行讨论。若A为加法范畴,记A=_αA_β,其中∑为加法范畴A的对象类,A_β表示Hom(α,β),α,β∈∑,有(Hom(α,β),+,_(?)0)为Abel群,而(Hom(α·α),+,·_α0,_α1)为一个环。有关加法范畴的左右理想,子范畴,本原加法范畴等定义见[2]。引理1 设A=_αA_β为右本原加法范畴,B=_αB_β为A的非零右理想,C=_αC_β为A一个非零子范畴,则B·C有意义且B·C≠0。     

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

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

拟Abel范畴的局部化范畴

在加法范畴局部化的基础上证明了拟A be l范畴的局部化范畴仍然是拟A be l范畴.     

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

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

加法范畴的推出范畴

在范畴C中以推出为对象,推出态射为态射构成推出范畴C^□．本文了给出了范畴C^□中的三角可换定理,并得到了C^□中上积存在的条件,进一步还证明了加法范畴的推出范畴仍为加法范畴．     

半单加法范畴的结构

引进了局部半单加法范畴的概念。推广了半单环的ｗｅｄｄｅｒｂｕｒｎ一Ａｒｔｉｎ定理￣［１］及单左Ａｒｔｉｎ加法范畴、单Ａｒｔｉｎ环和单局部Ａｒｔｉｎ加法范畴￣［２］的若干结构定理。     

含有极小右理想的右本原加法范畴的结构

在〔1〕,〔2〕中,刘绍学教授讨论了加法范畴的 Jacobso 结构及单 Artin 加法范畴的结构,给出了与环论相应的结构定理.在本文里,我们将给出介于本原加法范畴与单 Artin 加法范畴之间的一类加法范畴——含有极小右理想的右本原加法范畴——的结构定理,并进一步研究了该定理的结构.有关加法范畴的某些概念和结果见〔1〕和〔4〕,本文里所指的范畴一般为加法范畴.若 A 为加法范畴,记 A=(?)_αA_β其中Σ为加法范畴 A 的对象类,αA_β表示 Hom(α,β),(?)α,β∈∑,我们知道(Hom(α,β),+,αO_β)为 Abel 群,而(Hom(α,α)+,·αO_(α·α)|_α)为一个环.     

范畴的广义局部化

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

具有两个对象的预加法范畴的刻画

利用Morita context刻画具有两个对象的预加范畴,得到了具有两个对象的范畴是预加法范畴的充要条件以及两个环是Morita等价的一个刻画.     

态射的和与积的Moore-Penrose逆

态射的Moore-Penrose逆是矩阵的Moore-Penrose逆在有对合*的范畴中的推广。本文给出加法范畴及Abel范畴中态射的和与积的Moore-Penrose逆存在的充分条件和一些性质。     

加法范畴与线性变换完全加法范畴的苦干代数特征

继文［１］、［２］、［３］、［４］从环论的角度讨论加法范畴及线性变换完全加法范畴，得到了它们的一些重要的代数特征．     

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

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

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

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

范畴的伴随函子

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

加法范畴的Baer根和Levitzki根

在本文中我们定义加法范畴的Baer根和Levitzki根,并给出相应的结构定理,得到与通常环论中相应结果完全平行的命题.     

几类特殊范畴的极限范畴

考虑几类特殊范畴上的极限范畴.证明了k-范畴(G-范畴,Artin范畴,Noether范畴)的极限范畴是k-范畴(G-范畴,Artin范畴,Noether范畴).     

探究去范畴化的定义

从Hopper和Thompson提出去范畴化的概念并对名词和动词两种词类范畴的去范畴化现象进行研究之后,国内外很多的学者进行了更多的广泛深入系统的研究,但是作者发现他们对去范畴化概念的定义及其翻译还未能达到统一,无一质疑Hopper和Thompson划分词类的标准。本文试图在分析Hopper和Thompson、刘正光等人名词去范畴化的研究的基础上修正并进一步明确去范畴化的定义：去范畴化是范畴成员丧失原有范畴的本质特征游离出此范畴的动态过程。去范畴化的结果是范畴成员的再范畴化。词类去范畴化和词类再范畴化共同构成了词类范畴化的完整过程。     

Abel范畴的一种构造

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

Monoidal范畴的两种构造

通过范畴的扩张构造两类monoidal范畴。给定一个monoidal范畴,构造了一个回路范畴并证明其仍然为monoidal范畴。给定一个加法monoidal范畴及一个加法严格monoidal函子,证明可以构造一个仍然为monoidal范畴的平凡扩张范畴。