余Frame范畴中余积的构造

首先,在并半格中引入了上覆盖关系的概念,并以此为基础引入强并半格以及强并半格中上覆盖和C-滤子的概念,证明了强并半格S中全体C-滤子之族C Fil(S)是余Frame,讨论了简单上集值映射u:S→C Fil(S)的相关并半格同态性质;其次,证明了由一族余Frame{A_λ|λ∈Γ}的直积Π_(λ∈Γ)A_λ中只有有限个坐标非零的元素构成的子集A是强并半格,还证明了A是余Frame族{A_λ|λ∈Γ}在并半格范畴中的余积对象;最后,通过各个坐标集中的上覆盖关系在A中定义了上覆盖C~*,再结合简单上集值映射u:A→C~*Fil(A)和标准入射qλ:Aλ→Π_(λ∈Γ)A_λ(λ∈Γ),证明了强并半格A中由上覆盖C~*诱导的余Frame C~*Fil(A)是余Frame族{A_λ|λ∈Γ}在余Frame范畴中的余积对象.     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

超滤函子余代数范畴

研究了超滤函子余代数范畴set_(F_u)的乘积和余积问题.首先构造了集合乘积上的超滤,讨论集合乘积上超滤的存在形式;接着利用超滤函子的性质给出了范畴set_(F_u)的有限乘积以及任意余积构造;最后证明了范畴set_(F_u)的终对象存在.改进了Gumm关于滤子函子的研究结果,深化了相关文献关于超滤函子余代数的研究.     

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

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

余模范畴中的余倾斜预包络和余倾斜挠类

众所周知,Assem-SmalΦ定理在倾斜理论中有重要的作用.本文的目的是建立一个在余模范畴中的Assem-SmalΦ定理的版本,并通过利用预包络理论来刻画余模范畴中的余倾斜挠类.     

态射的广义逆与等化子

本文以态射偶的等化子为工具研究态射的广义逆，对于态射f，给出了g为f^-,f^D和f^ 的充要条件，并在矩阵范畴中建立了齐次线性方程组解与等化子的关系。     

范畴BCI的子范畴

一切 BCI -代数和 BCI-代数间的同态映射作成范畴(?).(?)有很多子范畴.下面的一般结果使验证子范畴的工作迎刃而解。定理1 设 P 是 BCI-并数的一个性质.如果具有性质 P 的 BCI-代数存在,那么一切具有性质 P 的 BCI-代数和它们间的同态映射作成一个范畴,称为具有性质 P 的 BCI-代数范畴,且记为(?).(?)的子范畴并不仅仅由性质所产生,我们进一步有下列:定理2 (?)的一切子范畴作成一个真类。     

某些半群子范畴中的张量积

半群范畴S中张量积首先在中引入。T∈ob S称为A,B∈ob S的张量积(记为AB),如果存在双同态t:A×B→T(相当于中线性平衡映射),且对于任意双同态s:A×B→C∈ob S总存在唯一的同态μ:T→C,使s-ut。确认了张量积的存在唯一。等引入交换半群、半格等子范畴中的张量积,其定义与上述基本相同,仅将S改为该子范畴,此外该划了一些半群类的张量积。本文在§1从任意半群簇V中张量积与其在S中     

范畴Ω-Cat的极限和余极限

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。     

Locale范畴的反射子范畴

本文研究ｌｏｃａｌｅ范畴的反射子范畴，给出反射子范畴的刻划定理，从一般的ｌｏｃａｌｅ出发，完全构造性地给出了ｌｏｃａｌｅ的正则反射、完全正则反射和零维反射的构造．     

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

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

Yetter-Drinfel'd范畴中辫化余交换余代数

本文研究与Ｈｏｐｆ代数Ｈ关联之ＹｅｔｅｒＤｒｉｎｆｅｌ’ｄ范畴ＹＨＤ中的辫化余交换余代数Ｃ，证明ＨＹＤ中左Ｃ－余模范畴ＨＹＤ是张量范畴，且ＨＹＤ中辫结构Ψ诱导ＣＨＹＤ中一辫结构当且仅当对ＣＨＤＹ中任意对象Ｎ有ΨＮ，ＣΨＣ，ＮＣΓＮ＝ＣＹＤΓＮ；由此导致新的辫化张量范畴．     

根范畴中的BGP反射函子

在导出范畴和根范畴中定义了BGP反射函子. 用Ringel的Hall代数方法, 应用所定义的BGP反射函子得到Kac-Moody Lie代数上经典的Weyl群作用.     

Gorenstein子范畴与相对奇点范畴

令A是阿贝尔范畴, T是A的一个自正交子范畴, 且T中每个对象均有有限投射维数和内射维数. 假设左Gorenstein子范畴lG(T)等于T的右正交类,且右Gorenstein子范畴rG(T)等于T的左正交类,我们证明了Gorenstein子范畴$G(T)$等于T的左正交类与T的右正交类之交,并且证明了它们的稳定范畴三角等价于A关于T的相对奇点范畴.作为应用,令$R$是有有限左自内射维数的左诺特环, $_RC_s$是半对偶化双模,且所有内射左$R$-模的平坦维数的上确界有限, 我们证明了 若$\mbox{}_RC$有有限内射（平坦）维数且$C$的右正交类包含$R$,则存在从$C$-Gorenstein投射模与关于$C$的Bass类的交到关于$C$-投射模的相对奇点范畴间的三角等价,推广了某些经典的结果.     

范畴CDCPO及其子范畴的完备性

讨论范畴CDCPO的完备性以及余积的存在性。证明了CDCPO的子范畴L-CDCPO不是完备的;给出了该范畴的一个非满的完备子范畴LCDOM并证明了该子范畴存在余积。给出了L-CDCPO范畴的满子范畴LCDOMI并证明其存在等值子。     

范畴上的一个函子及范畴

本文定义了一个由范畴Ｍ到范畴Ａ的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧ证明了定理：任意则其中Ｐ为素数．     

关于Locale范畴反射子范畴的注解

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(<)'关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.     

关于Locale范畴反射子范畴的注解

利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(?)’关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述.     

正合范畴中的复形、余挠对及粘合

作者在弱幂等完备的正合范畴(A,E)中引入了复形的新的定义,并且证明了E-正合复形的同伦范畴Kex(E)是同伦范畴KE(A)的厚子范畴.给定(A,E)中的余挠对(x,y),定义了正合范畴(CE(A),C(E))中的两个余挠对((x)E,dg(y)E)和(dg(x)E,(y)E),并且证明了当A是可数完备时,CE(A)中...