k-线性平凡扩张范畴

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

M-纤维式同伦扩张及其应用

着重研究了M-纤维式范畴中的同伦论相关概念, 即M-纤维式同伦扩张性质. 通过M-纤维式收缩以及M-纤维式形变收缩的概念，给出了M-纤维式同伦扩张性质的等价描述，从而推广了一般拓扑范畴中同伦扩张性质的相关等价描述. 另外，证明了在M-纤维式范畴中的一些空间构造，如M-纤维式贴附空间的同伦不变形性. 最后, 对于2个M-纤维式映射是否同伦等价的问题，通过M-纤维式映射柱的概念给出了相关的判定定理，这一判定是一般拓扑范畴中两映射是否同伦等价的判定的自然推广.     

关于非交换Hopf-Galois扩张

设 H为有限Hopf代数 ,B为交换环 ,H0 为交换、余交换的有限Hopf代数范畴 ,C为交换环范畴 ,A为交换群范畴 .证明所有H Hopf Golois扩张的同构类集合E(H ,B)定义一个范畴H0 ×C到A的双函子     

顿范畴中的强Gorenstein投射对象

介绍了顿范畴(F,B ),并依据A和B中的强Gorenstein投射对象,给出了(F,B )中强Gorenstein投射对象的等价刻画。     

Serre商范畴的Auslander-Reiten序列

设A是有限维k-代数,A=A-mod,B是A的有厚度子范畴,通过从A的Auslander-Reiten(AR)序列到导出范畴Db(A)的AR三角的转化,研究A的AR序列与Serre商范畴A/B的AR序列的关系.文中给出A的AR序列在商函子Q∶A→A/B下的像是A/B的AR序列的充要条件.     

(B,C,C′)-Gorenstein范畴的稳定性

设A是Abel范畴,B,C,和C′是A的加法满子范畴.更一般化,文中定义(B,C,C′)-Gorenstein范畴,讨论(B,C,C′)-Gorenstein范畴的稳定性,给出了一些相应的性质.最后,给出(B,C,C′)-Gorenstein范畴的一些应用.     

2-范畴中拉回的若干性质

从相对正合2-范畴S出发,给出了2-范畴中拉回的若干性质.首先,证明了拉回在等价意义下是存在且唯一的;其次,设(A1×B A2,f′1,f′2,ξ)为f1与f2的拉回,证明了Ker(f1)与Ker(f′2)等价,Ker(f2)与Ker(f′1)等价;最后,证明了大方框拉回与小方框拉回之间联系的相关结论.     

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

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

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

双单子的Smash积

考虑双单子Smash积的表示范畴. 设F和G是给定的双单子, 利用2 范畴方法讨论其Smash积GF上的张量结构, 证明了GF的双单子结构与其表示范畴上的张量结构是等价的, 并给出了其表示范畴做成张量范畴的一系列充要条件.     

关于模范畴的商范畴与局部化

通过构造范畴等价函子,证明了由正向极限定义的模范畴的商范畴与用分式等价类构成的局部化范畴是等价的.应用该方法,证明了Abel范畴与三角范畴中的相关结论.     

关于概率拟度量空间的注记

1973年, Lawvere引入了强化范畴的Cauchy完备的概念, 并且证明:若把度量空间看成［0,∞］op上的强化范畴,则强化范畴意义下的Cauchy完备和通常由Cauchy序列描述的完备是等价的.本文作者指出在概率拟度量空间中该结论也成立.确切地说,概率拟度量空间的双完备也是强化范畴Cauchy完备的一个特例.     

Cluster倾斜子范畴导出的Abel范畴的recollement和thick子范畴

设T是三角范畴D的cluster倾斜子范畴.首先,如果D具有一个关于三角范畴D′和D″的recollement,且满足i*i*(T)T,j*j*(T)T,则给出了这个recollement诱导Abel范畴D/T关于Abel范畴D′/(i*T)和D″/(j*T)的recollement的充分必要条件;其次,如果H是D的thick子范畴,i*表示自然嵌入函子i*:H→D的左伴随函子,且i*TT,那么Abel范畴A′=H/(i*T)是Abel范畴A=D/T的thick子范畴.     

半群分次范畴的Smash积

设S为有单位元1的可消半群,引入半群S-分次范畴的Smash积的概念,分别证明半群S-分次范畴C的Smash积C#S的商范畴(C#S)/S与范畴C同构,以及自由半群S-范畴B的商范畴B/S的Smash积范畴(B/S)#S与范畴B同构.从而说明半群分次范畴的Smash积与自由半群作用范畴的商在半群分次范畴和自由半群作用范畴之间是互逆的结构.     

泛态射范畴的平凡扩张

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

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

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

连通代数domain上相容紧元及范畴的研究

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.     

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

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

阿贝尔范畴黏合上的纯投射维数

在阿贝尔范畴中引入了纯投射维数的概念。令R_ab(A,B,C )为阿贝尔范畴黏合,讨论了三个阿贝尔范畴之间的纯投射对象和纯投射维数的关系。作为应用,研究了形式三角矩阵环上的纯投射模及纯投射维数。最后,证明了在一定条件下,阿贝尔范畴B的纯投射维数有限当且仅当阿贝尔范畴A与C的纯投射维数有限。     

范畴的推出范畴与平凡扩张

研究Abel范畴的推出范畴与Abel范畴的平凡扩张的关系,证明了Abel范畴推出范畴的平凡扩张与Abel范畴平凡扩张的推出范畴同构.