超滤函子余代数范畴

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

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

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

区间值模糊滤子范畴

讨论区间值模糊滤子范畴IVF和Hausdorff区间值模糊滤子范畴IVFHau中乘积、余积、等子、余等子存在性及构造。证明IVF和IVFHau都不是完备范畴而IVF是余完备范畴。也证明IVF不仅有许多弱拓扑满子范畴,也有许多非弱拓扑满子范畴。     

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

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

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

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

基于层范畴的Ω-集合范畴的极限

基于层范畴引入Ω-集合范畴的概念,研究了Ω-集合范畴的乘积以及等值子的存在性,进而证明了在Ω-集合范畴中存在极限,并且Ω-集合范畴是完备的.     

双代数余循环的余同调变换

在[8]中,作者讨论余循环交叉积和扭积之间的关系(见定理5.3).设A#xH为余循环交叉积,γ∈Hom(H,A)是卷积可逆的,且γ(1)=1.在[6]中,s.Majid对任意地余循环x定义了余同调变换xγ.在本文中,首先证明了[8]中的定理5.3以及它的对偶在一般情况下成立.s.Majid在[5]中给出了余循环交叉积和余循环交叉余积形成双代数的充要条件,这种结构称为Bicrossproduct积.这里讨论了余循环余同调变换如何具体地保持这种双代数结构.     

范畴Ω-Cat的完备性

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。     

关于伪紧余代数、余挠对和弦余代数

本文利用箭图和拓扑伪紧空间研究了K-余代数及其表示.定义了域K上的伪紧K-余代数,研究了伪紧K-余代数和K-代数范畴之间的关系,研究了余挠对和余模逼近,描述了余倾斜余挠对.通过有限维的支撑子余代数和基本的路余代数研究了弦余代数.     

双诱导型定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.     

Ω-左R-模范畴的完备性

引入Ω-左R-模范畴的概念,研究了Ω-左R-模范畴中的乘积以及等值子,进而证明了Ω-左R-模范畴是完备的.     

基于Ω-范畴的定向与逆向函子伴随性的研究

Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。     

关于拟三角Hopf代数的Cylinder余代数和Cylinder余积(英)

本文引入两个概念,即,关于拟三角双代数的cylinder余代数和cylinder余积,并指出存在一个反余代数同构：(H,■)≌(H,■),其中(H,■)是cylinder余积,(H,■)是辫余积,对任意有限维Hopf代数H,我们证明Drinfel'd量子偶(D(H),■_(D(H)))是cylinder余积．设(H,H,R)是余配对Hopf代数,如果R∈Z(H■H),则通过两次扭曲,我们可以构造扭曲余代数(H~■)R~(-1),它的余乘法恰是cylinder余积．而且对任意的广义Long重模,通过cylinder扭曲,我们可以构造Yang-Baxter方程,四辫对和Long方程．     

余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$-模组成的子范畴.     

双代数余循环的余同调变换

在［８］中,作者讨论余循环交叉积和扭积之间的关系（见定理 ５．３）．设 Ａ＃ＸＨ为余循环交叉积,ｒ∈Ｈｏｍ（Ｈ,Ａ）,是卷积可逆的,且ｒ（１）＝１．在］［６］中,Ｓ．Ｍａｊｉｄ对任意地余循环Ｘ定义了余同调变换 ｘｒ·在本文中,首先证明了［８］中的定理 ５．３以及它的对偶在一般情况下成立． Ｓ． Ｍａｊｉｄ在［５］中给出了余循环交叉积和余循环交叉余积形成双代数的充要条件,这种结构称为Ｂｉｃｒｏｓｓｐｒｏｄｕｃｔ积．这里讨论了余循环余同调变换如何具体地保持这种双代数结构．     

Hopf π-余代数上的双积结构及其性质

研究Hopf π-余代数,给出π-smash积代数与π-smash余积余代数构成一个半的Hopf π-余代数(双积)的充分必要条件,并给出了Hopf π-余代数上的双积的若干性质.     

关于MH中的Lie双代数和余Poisson-Hopf代数

本文研究余三角Ｈｏｐｆ代数余模范畴中的Ｌｉｅ双代数和余ＰｏｉｓｓｏｎＨｏｐｆ代数,我们主要讨论余三角Ｈｏｐｆ代数余模范畴中的Ｌｉｅ双代数和余Ｐｏｉｓｓｏｎ－Ｈｏｐｆ代数之间的关系。     

关于μ~H中的Lie双代数和余Poisson-Hopf代数(英文)

本文研究余三角 Ｈｏｐｆ代数余模范畴中的 Ｌｉｅ双代数和余 Ｐｏｉｓｓｏｎ－Ｈｏｐｆ代数．我们主要讨论余三角Ｈｏｐｆ代数余模范畴中的Ｌｉｅ双代数和余Ｐｏｉｓｓｏｎ－Ｈｏｐｆ代数之间的关系．     

广义Hopf交叉余积

本文定义了一种广义的Hopf交叉余积,并证明了它等价于广义的cleft余扩张,也等价于具有余正规基的广义Galois余扩张.