加法范畴的推出范畴

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

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

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

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

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

几类特殊范畴的极限范畴

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

半单加法范畴的结构

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

含有非零基座的本原加法范畴的一个局部结构定理

讨论了含有极小单侧理想的本原加法范畴，得到了这类范畴的一个局部结构定理。     

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

在环论中,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。     

ZYE3代数范畴

系统地讨论ＺＹＥ３代数的范畴理论，其中包括积，上积，纤维积，张量积，正向极限和逆向极限。证明了它们的存在性唯一性，且讨论了下些与之有关的性质。     

加法范畴的Baer根和Levitzki根

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

分块态射的广义逆

讨论了分块态射的Moore-Penrose逆,用不同与文[1]的方法给出了分块态射f=（u v）的Moore-Penrose逆表达式．这个表达式与Petr Peska（2000）给出的等价．     

弱加法范畴

以可换么半群范畴心和半模范畴sM为背景建立了弱加法范畴的概念,讨论了弱加法范畴中有限个对象上积的性质,给出了保持有限对象上积的函子的等价刻划,进而定义了弱加法范畴的理想和同余关系,以此建立了弱加法范畴的商和同态基本定理及第一、二同构定理,并讨论了同余的格和亚直积等,以上概念和结果是对加法范畴的实质性拓广,为探讨弱加法范畴的结构奠定了必要的基础．     

拟Abel范畴的局部化范畴

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

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

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

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

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

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

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

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

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

关于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三角范畴的条件.