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子范畴.     

商范畴与hom函子

设R是有单位元的环,r=(T,F)是左R-模范畴R-mod上的遗传挠理论,R-mod/F是由遗传挠理论τ的挠类T所决定的R-mod的商范畴.设M、N是左R-模,则从M到N的所有τ-态射(即Rmod/T中的态射)的集合构成一个Abel群,用hom_R(M,N)表示.首先,说明了hom函子是从R-mod到Abel群范畴的左正合加法函子.其次,利用hom函子的正合性刻画了商范畴R-mod/T中的投射对象与内射对象.最后,证明了τ是正合挠理论当且仅当自然函子J:R-mod→R-mod/T保持投射对象不变.     

Comma范畴和范畴A(S)的Recollement

研究了两类Abel范畴的recollement的构造.一种是从已知的两个Abel范畴的recollement构造一个Comma范畴的recollement;另一种是从一个已知的三角范畴的recollement构造函子范畴的子范畴A(S)的recollement.     

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

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

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

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

Locale的紧正则极不连通反射

本文从任一给定LocaleA,构造出一个紧正则极不连通Locale J(A),且证明了:(1)A是J(A)的稠子locale当且仅当A是正则极不连通(2)对是范畴Loc到子范畴KREDLOC的函子(3)J是子范畴KREDLOC到范畴EDLOC的包含函子的左伴随函子,(即KREDLOC是范畴EDLOC的可反射子范畴。     

余分解维数

设A是Abel范畴, X是A的子范畴。引入了A中对象的X 余分解维数, 并利用上同调函子ExtnX给出了X 余分解维数的等价刻画。     

Abel加半群局部化及性质

本文将Abel加半群引入一种局部化方法,建立了局部化与张量积的关系,证明了平坦半群的局部化也平坦,并证明局部化函子是正合的共变函子且自然等价于一个单侧张量积函子.     

函子范畴的本质(多余)子对象

设C是小范畴,则范畴D中的本质(多余)子对象构造出函子范畴DC中相应的本质(多余)子对象。反之,设F,G是函子范畴DC中的两个常值函子,若F是G的一个本质(多余)子对象,则对任意x∈obC,在范畴D中有F(x)是G(x)的一个本质(多余)子对象。     

范畴中的拟-morphic对象

本文引入了范畴中的拟-morphic对象,给出了其在p-exact范畴Abelian范畴中的一些性质。主要证明设A是p-exact范畴中的拟-morphic对象,则A的任一子对象均同构于A的一个像当且仅当A的任一像均同构于A的任一子对象;设C和D是Abelian范畴,F:C→D是完全忠实正合函子,且A∈Ob C,则A是拟-morphic的当且仅当F(A)是拟-morphic的。     

拟Abel范畴的局部化范畴

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

Abel范畴的一种构造

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

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

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

半模正向系上的正向极限及其差模

借助范畴与同调代数理论,讨论了半模上正向极限的函子及其差模,主要证明了半模正向系上正向极限的函子及其差模保持正合性,并讨论了正向极限的差模的若干性质.     

弱加法范畴

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

简单图范畴与群范畴之间的一对伴随函子

基于群中元素的交换性,构造了一个函子G：Groups→s -Graphs ,并且构造了其反向函子F：s -Graphs→Groups ,证明了F恰是G的伴随函子。     

模糊半环上的模糊半模范畴

本文从范畴角度研究模糊半环上的模糊半模,首先给出了半环上的半模范畴（即R—smod）及模糊半环上的模糊半模范畴（即FR^A-stood）的定义,然后通过反变函子s及共变函子t建立R—stood与FR^A-stood之间的关系,最后证明了FR^A-stood是一个半加法范畴．     

模糊模范畴中的余极限

运用模糊集的方法和原理, 给出模糊模范畴中余极限的有点式和无点式刻画. 首先, 通过引入模糊模范畴中余积的结构性定理, 得到模糊模范畴中余极限的存在性、 唯一性和结构性定理; 其次, 构造J型图范畴到模糊模范畴上的常量系统函子, 并证明余极限函子与常量系统函子的伴随性; 最后, 根据Hom函子及张量积函子的伴随同构关系, 讨论模糊模范畴中极限与余极限的关系.     

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