范畴的广义局部化

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

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

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

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

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

拟Abel范畴的局部化范畴

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

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

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

完备范畴的极限范畴与η-扩张

研究完备范畴的极限范畴与η-扩张关系,证明完备范畴之间的极限范畴的η-扩张与η-扩张的极限范畴同构。     

k-线性平凡扩张范畴

设C是k-线性范畴,M是C-C双模,定义k-线性平凡扩张范畴C′=C■M,首先证明其为平凡扩张代数的自然推广,其次证明左C′-模范畴等价于左C-模范畴关于张量函子MC-的右平凡扩张范畴(C-Mod)■(MC-),推广了经典的平凡扩张代数的模范畴理论.并将此结论应用到k-线性三角矩阵范畴,重新刻画其模范畴的结构.     

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

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

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

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

Monoidal Hom-unified积与monoidal Hom-Hopf代数的可裂扩张

从monoidal Hom-Hopf代数的分裂扩张的观点出发，对monoidal Hom-unified积进行等价刻画，即一个monoidal Hom-Hopf代数(E,β)同构于一个monoidal Hom-unified积(■,α?γ)当且仅当存在一个可裂单的monoidal Hom-Hopf代数同态i:(A,α)→(E,β).     

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

加法范畴的推出范畴

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

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

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

双线性扩张范畴

双线性扩张范畴C=A[M,N,φ,ψ]B的模范畴C Mod是双扩张代数的自然推广,且等价于四元组范畴C T.作为应用,给出了2-循环复形范畴与特殊的双扩张范畴等价的证明,以及由范畴A或B中的某些AR-序列可得C T中的部分AR序列.     

加法范畴的回路范畴与η-扩张

设A是加法范畴,在定义范畴A的η-扩张基础上,得到加法范畴的η-扩张的不变性,进而得到范畴A的回路范畴与η-扩张交换性,即有加法范畴等价Ω(A(η))≌(ΩA)(η→).最后将主定理应用到环R上的模范畴,得到环R与其扩张环的K_1群的一个结果.     

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

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

Z-完备集上的一个扩张定理与范畴的性质

给出Z-完备集上的一个扩张定理．证明范畴ZP是一个笛卡儿闭范畴．     

Abel范畴的Jacobson根

加法范畴的Jacobson根可以仿照环论的方式来定义,它在将范畴理论应用于环论研究中起着重要的作用。本文证明Abel范畴的Jacobson根与环的Jacobson根有非常类似的性质,可以直接应用于模范畴的研究中。     

双模范畴R(C:T)中对象的构造

本文在一般双模范畴的基础上引入双模范畴R(C:T)的定义,给出了R(C:T)中对象的一个等价命题及对象新的构造方法和详细的证明过程,最后在双模范畴_CM~(CM)和_CM~M之间构造一个函子,为后续的研究作了准备。     

三角范畴的Recollement与Abel化

首先给出了加法范畴的Abel化与幂等完备化的关系,证明了加法范畴的幂等完备化范畴是其Abel化范畴的投射子范畴;在此基础上,证明了三角范畴recollement的Abel化是Abel范畴的右recollement。