关于三角范畴中由对象决定的态射的一个注记

由对象决定的态射的概念由Auslander提出.之后Krause证明了在含有Serre函子的Hom-有限的Krull-Schmidt R-线性三角范畴T中,任意态射f的决定子都存在.本文对该结论做了一个补充,给出了T中任意态射f的极小决定子D(f)的具体形式.     

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

研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理.     

$D_4$型李代数包络代数旋模的范畴化

本文我们定义复数域$C$上一般线性李代数${\rm gl}_n$ BGG 范畴的若干子范畴及其上的投射函子,利用这些子范畴和投射函子范畴化了$D_4$型李代数包络代数旋模的$n$-次张量积.     

定义在范畴_RM_n~l上的张量函数

文[1]引进了左R-n模范畴_RM_n~1,将Hom函子推扩到_RM_n~l上,且讨论了它的拟正合性。在模范畴中,张量函子与Hom函子一样是一个重要的函子。文[2]企图在_RM_n~l上建立相应的张量积,并证明张量函子M_n~:AG_(rn)→_RM_n~l与Hom函子Hom(M_):AG_(rn)′→_RM_n~l为伴随对。但其构造的交换自由n-群仅对满足(E)条件的交换n-群具有泛性,故其张量积亦只是     

AR-箭图的构造和矩阵双模问题

本文简要介绍了Artin代数表示理论中的下述内容:Auslander-Reiten箭图(简称AR-箭图)稳定分支的结构,野型遗传代数稳定分支的性质,代数闭域上有限维代数Λ引出的矩阵双模问题、对偶的余双模问题及其相伴的具有余代数结构的双模(简称box), modΛ、P_1(Λ)及相伴box的表示范畴之间几乎可列序列的几乎一一对应,驯顺代数Λ上任意两个模之间态射集的维数和性质;最后介绍了代数的驯顺性与其模范畴的齐性.     

函子范畴的等价

本文建立了函子范畴等价的Ｍｏｒｉｔａ理论．考虑的主要问题是ｍｏｄＣ何时等价于ｍｏｄＣ′及这些等价条件．同时定义了函子范畴的双模和函子张量积，并刻画了等价函子．     

三角范畴和Abel范畴的Torsion理论

本文主要研究了三角范畴在Abel化过程中torsion理论的保持问题.利用三角范畴的coherent函子范畴是Abel范畴,证明了T的coherent函子范畴A(T)是A(D)的thick子范畴;若(X,Y)是D的torsion理论,且D=X*Y的扩张是可裂的,那么(A(X),A(Y))是A(D)的torsion理论.     

集合范畴上超滤函子的余代数

定义了集合范畴上的超滤函子F_u(-),并研究了相关性质.包括函子F_u(-)在有限集上保拉回,一个集合的子集成为F_u-子余代数的充要条件,以及两个余代数之间的态射是F_u-余代数同态的充要条件,子集成为子余代数的充要条件,最后以拓扑空间作为F_u-余代数的具体实例,研究了拓扑空间的连续映射与超滤函子的余代数同态之间的关系.     

顶点算子代数表示理论中的范畴和函子

本文的主要目的是,用范畴的语言对顶点算子代数理论中的一些构造加以解释,同时将Abel范畴工具应用到顶点算子代数的研究中.本文将顶点算子代数范畴中的共形同态放宽为半共形同态,同时讨论半共形同态所对应的模范畴之间的函子性质.这样陪集构造可以实现为Hom函子,并利用Hom函子讨论相关性质.作为一个应用,本文构造了Jacquet函子,并讨论了它的性质.     

Brown可表示定理及其应用

这篇综述从背景、证明方法和应用三方面,为Brown可表示定理及其对偶提供一个易于理解的版本;并通过Serre函子给出紧生成三角范畴之间伴随对的一种三分法.     

φ-拓扑

§1 φ-函子在连续格理论中存在着一类具有共性的函子,如函子φ_s:范畴COM_s(对象完备格,态射保任意交)→集范畴SET,φ_(L)为L的全体单点集;φ_D:范畴COM_D(对象为完备格,态射保任意交、有向并)→SET,φ_D(L)为L的全体有向集;φ_c:范畴COM_c(对象为完备格,态射保任意交、并)→SET,φ_c(L)为L的幂集P(L)。诸如此类的函子,我们给出定义如下:     

广义Frame与广义Frame的商

本文将frame、frame同态、商frame与核的概念在范畴意义下作推广,并且证明Frame范畴是广义Frame范畴的反射子范畴.进而讨论了一个广义frame A的商与A上核函子之间的关系.特别地,我们证明了A上全部核函子所构成的范畴N(A)是一个广义frame.     

半模的张量积

本文引入了半模的张量积的泛性定义，给出了半模范畴中的有向正向系的上极限以及任意一个半模同态的上核，讨论了半模张量积的若干性质，主要结果是：证明了张量函子保持半模的右正合性和上积，并且上积保持半模的平坦性，半模范畴中的张量函子保持上极限和上核．     

函子的广义逆

本文建立了函子的广义逆．得到：（１）函子的广义逆从不同于视矩阵为态射的另一角度，包含了“矩阵的广义逆”．（２）函子的广义道与态射的广义逆互不蕴含，但却有异曲同工之处．     

连续空间的性质

讨论了连续空间的基本性质,通过Galois联络证明了以连续(代数)空间为对象,以有下伴随且连续映射为态射的范畴与以连续(代数)空间为对象,以有上伴随且保■映射为态射的范畴是对偶范畴.     

L—fuzzy模范畴的张量积与张量函子

本文在Ｌ—ｆｕｚｚｙ模范畴中，建立了相应的张量积，给出了它的结构性、存在性与唯一性定理，并讨论了张量函子与Ｈｏｍ函子的伴随性。所得结果为通常张量积的“良好推广”（ｇｏｏｄｅｘｔｅｎｓｉｏｎ）。     

纯正半群的张量积的局部化

本文在半群范畴中证明了两个纯正半群Ａ和Ｂ的张量积在某一个子半群上的局部化是ＡＢ的最大群同态象，同时还证明了张量积的局部化同构于局部化的张量积     

φ—归纳集范畴与偏序集的一个分类定理

本文引进了-归纳集范畴IP,证明了当Φ函子是并完备时,IP 与偏序集范畴 P 是等价的,并且利用 Galois 连接序列,给出偏序集的一个分类定理,它是文[4]中的分类定理在是任意并完备的Φ-函子情形下的推广.     

完全分配格上的弱辅助序与广义序同态

为研究格上的拓扑学,王国俊在[1]中定义了完全分配格上广义序同态概念,并得到一系列重要的结果。刘应明在这方面也进行了深入的研究。本文利用完全分配格上一个逼近的弱辅助序给出广义序同态的一个内在的特征性质与极小集的刻划,并得到保极小集映射的两个等价条件。在此基础上,我们建立了广义序同态的新的扩张定理,然后讨论了以广义序同态为态射的完全分配格范畴的对偶定理,并在乘积范畴上引进一个重要而有趣的函子。     

拟Abelian范畴上函子范畴的局部化

通过拟Abelian范畴的局部类构造出函子范畴的局部类,进一步研究函子范畴的局部化范畴与局部化范畴的函子范畴之间的关系.