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

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

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

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

模糊集范畴的性质

定义一种模糊集范畴F,讨论了F具有的范畴性质:F与子集范畴之间的关系;F上的态射用a-截集表示的条件;F上态射和映射的关系:证明了F的乘积、等子、余等子、拉回和极限等存在,并给出它们的具体形式.     

n-拉回范畴的核

在Abel范畴C中,定义,n-拉回态射,在此基础上建立,n-拉回范畴C*,即C*是以范畴C中n-拉回为对象,n-拉回态射为态射.并进一步证明了 n-拉回范畴C*中核是存在的,这推广了文[1]的结论.     

加法范畴的推出范畴

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

泛态射范畴的平凡扩张

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

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

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

推出范畴的上核

讨论推出与推出之间的关系,定义了推出态射,在此基础上建立了推出范畴影l^＊．影l是以范畴留中的推出为对象,推出态射为态射构成的范畴．并进一步证明了推出范畴中上核存在的条件．     

Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

泛态射范畴及其Recollement构造

证明了泛态射范畴是一个Abelian范畴,并通过一般Abelian范畴之间的recollement及其比较函子构造出泛态射范畴的recollement.     

广义完全分配格的逆极限

利用完备格同态为态射的广义完全分配格范畴的逆极限,讨论了函子保广义完全分配格范畴逆极限的条件,得出了广义完全分配格范畴上的局部连续的自函子保伴随且保满态射和单态射.     

n-弱幂等完备的n-正合范畴

研究了n-正合范畴的结构性质.首先给出了n-弱幂等完备的n-正合范畴的若干等价刻画,其次证明了如果n-正合范畴中每个态射均为容许态射,则该范畴为n-阿贝尔范畴.     

Yoneda完备度量空间范畴的完备性和余完备性（英文）

本文探讨了Yoneda完备度量空间范畴的完备性和余完备性,证明:若态射是Yoneda连续映射或Yoneda连续的非扩张映射,则该范畴是完备且余完备的;若态射是Yoneda连续的Lipschitz映射,则该范畴是有限完备和有限余完备的,但既不完备也不余完备.本文还证明了以实数值连续格为对象,Yoneda连续的右伴为态射的范畴是完备的.     

范畴Fb-PTop在范畴Set上的拓扑性

以不分明化b-预拓扑空间为研究对象,以不分明化b-不定映射为态射构成的范畴Fb-PTop,并证明了Fb-PTop是Set上的拓扑范畴.     

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

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

Riesz模范畴的完备性和余完备性

范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。     

范畴的广义局部化

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

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

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

Heisenberg代数的范畴化和MacMahon函数

作为一类基本的无限维李代数结构,Heisenberg代数在场论中扮演了很重要的角色.在经典理论中,它是利用自由谐振子生成的.这样的自由谐振子在表示论中可以看作是升箅子和降箅子.在范畴论中,它们是范畴之间的函子,满足一些特珠的性质,因此看起来像相对应的代数箅子.本文从一维向量空间出发,把Cautis和Licata的方法推广到单个形变Heisenberg代数,'H_(Z([t,t~(-1)]))的情况,给出了它的范畴化'H.在这样的构造中,'H为一个2-范畴,它的1-态射构成的集合包含了Heisenberg代数中自由谐振子的范畴化,它的所有2-态射组成了一个分次向量空间.在这个范畴中,2-态射决定了1-态射的同构类,即范畴的Grothendieck环.2-态射上的分次导致了Heisenberg代数的一个形变参数,并且也因此使本文证明了,'H的Grothendieck环为,'H_(Z([t,t~(-1)])).本文同时给出了范畴,'H的一个Fock表示.从'H的Fock表示中可以看到,2-态射上的分次可以由与对称群相关的表示导出范畴中的上同调次数平移来实现.作为Heisenberg代数范畴化的应用,本文还讨论了与三维Young图的MacMahon函数相关的配分函数.这篇文章的结果期望有更进一步的应用.     

(L)子集范畴中定向函子与逆向函子的伴随性研究

引入态射为zadeh型映射的L子集范畴中zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子.