右正合范畴及其局部化范畴

引入右正合范畴的概念,并证明了右正合范畴的局部化范畴仍然是右正合范畴.同时证明了两类态射范畴是右正合范畴.     

k上G-分次范畴的局部化

讨论k范畴,k上G-范畴,k上G-分次范畴在局部化下相应范畴的保持问题,考虑k上G-分次范畴的冲积范畴与局部化的关系,证明了[S-1]#G≌(#G)[S-1].     

范畴中的拟-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的。     

范畴的广义局部化

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

右正合范畴及其局部化范畴

引入右正合范畴的概念,并证明了右正合范畴的局部化范畴仍然是右正合范畴.同时证明了两类态射范畴是右正合范畴.     

广义Comma范畴的局部化

借由两个函子诱导出广义Comma范畴,并找到该范畴中的局部类,从而建立局部化范畴.在此基础上,根据局部化范畴所对应标准函子的泛性得到的两个函子可诱导出另一个广义Comma范畴.最后证明该范畴与前面所建立的局部化范畴是等价的.     

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

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

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

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

几类由对象确定的态射范畴

设是一个范畴,S是的一个局部类.构造的态射范畴的一个左局部化范畴C[■-1],并给出一定条件下,由不同对象确定的态射范畴及其左局部化之间的关系.     

Gabriel单子与模范畴的局部化

通过定义Gabriel单子来刻画模范畴的商范畴与局部化范畴,证明了Gabriel单子诱导的像和余像是等价的;其像为模范畴的局部化范畴,该局部化范畴等价于Gabriel单子确定的Kleisli范畴;其余像为模范畴的商范畴,该商范畴等价于Eilengerg-Moore范畴。     

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

关于函子范畴的一点注记

在介绍函子范畴的概念及例子的基础上,证明了拟Abel(正合)范畴的函子范畴仍是Abel(正合)范畴,并给出两个应用.     

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

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

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

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

半群范畴

给出了半群范畴的概念,证明了半群范畴中积是存在的,并且半群范畴是具体范畴。     

Abel范畴的一种构造

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

自由半群作用范畴的Galois盖与斜半群作用范畴

设S为有单位元1的半群,引入并讨论了自由半群作用的Galois盖和斜半群作用范畴的概念及性质,证明了自由半群作用范畴的商范畴与斜半群作用范畴是等价的.     

L-外部空间范畴与L-拓扑空间范畴

引入了（满层的）L-外部空间的概念,证明了（满层的）L-拓扑空间范畴可以嵌入到（满层的）L-外部空间范畴作为具体的反射子范畴,并进一步证明了前者同构于后者的一个满足幂等条件的子范畴．     

凹函数的范畴

以凹函数为对象，以特殊的仿射函数为态射，建立了范畴CONF，指出凸集和凸模糊集为范畴CONF中的对象。证明了范畴CONF有Finite Products和Equalizers性质。