期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
对合Quantale范畴中的自由对象及其良幂性 被引量:4
1
作者 周异辉 赵彬 《工程数学学报》 CSCD 北大核心 2006年第2期216-224,共9页
本文首先给出了对合Quantale余核映射的概念,证明了任意子对合Quantale都是某对合Quantale余核映射的象。其次构造出了对合Quantale范畴IQuant中由集合生成的自由对合Quantale的具体结构,证明了遗忘函子 U:IQuant→Set有左伴随,并给出... 本文首先给出了对合Quantale余核映射的概念,证明了任意子对合Quantale都是某对合Quantale余核映射的象。其次构造出了对合Quantale范畴IQuant中由集合生成的自由对合Quantale的具体结构,证明了遗忘函子 U:IQuant→Set有左伴随,并给出了其左伴随函子。最后,证明了IQuant中的单态射恰为单同态,得出了对合Quantale上的余核映射与其在范畴IQuant 中的子对象是一一对应的,从而证明了IQuant是良幂的。 展开更多
关键词 对合QUANTALE 对合Quantale余核映射 自由对象 伴随函子
在线阅读 下载PDF
归纳数据类型的范畴论方法 被引量:1
2
作者 苗德成 奚建清 苏锦钿 《计算机科学》 CSCD 北大核心 2015年第6期8-11,共4页
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴... 归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。 展开更多
关键词 归纳数据类型 范畴论 谓词范畴 提升 伴随函子
在线阅读 下载PDF
模范畴中的左拟相伴函子对 被引量:1
3
作者 郭广泉 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期20-22,共3页
令A和B是有单位元的结合环,考虑双模Λ∈BMA、X∈AMB和函子F=ΛA-:AM→BM,G=X B-:BM→AM.研究了模范畴中函子的左拟相伴函子,给出了F是G的左拟相伴函子的几个等价条件.
关键词 模范畴 自然变换 左拟相伴函子对
在线阅读 下载PDF
伴随上的自然变换 被引量:3
4
作者 陈焕艮 《南京大学学报(自然科学版)》 CSCD 1994年第4期563-574,共12页
引进了自然变换函了的概念,建大了自然同构与伴随间的一类等价关系,系统研究了伴随上的自然变换,主要结果:设<F,K1,η1,ε1>:X→A,<G,K2,η2,ε2>:X→A.n:F→G,m,K1→K2,若n2=(m°... 引进了自然变换函了的概念,建大了自然同构与伴随间的一类等价关系,系统研究了伴随上的自然变换,主要结果:设<F,K1,η1,ε1>:X→A,<G,K2,η2,ε2>:X→A.n:F→G,m,K1→K2,若n2=(m°n)η1,ε1=ε2(n°m),则m,n为自然同构. 展开更多
关键词 自然变换函子 自然同构 伴随
在线阅读 下载PDF
偏缠绕模的Maschke型定理
5
作者 郭双建 董丽红 《河南师范大学学报(自然科学版)》 CAS 北大核心 2016年第2期29-33,共5页
设(A,C,ψ),(A′,C′,ψ′)为两偏缠绕结构,给定α:A→A′和γ:C→C′.引入两个偏缠绕模范畴M(ψ)_A^C和M(ψ′)_A′~C′的导出函子F,并证明此导出函子F有右伴随函子:G:M(ψ′)_A′~C′→M(ψ)_A^C.最后,引入偏正规化余积分θ:C→AA... 设(A,C,ψ),(A′,C′,ψ′)为两偏缠绕结构,给定α:A→A′和γ:C→C′.引入两个偏缠绕模范畴M(ψ)_A^C和M(ψ′)_A′~C′的导出函子F,并证明此导出函子F有右伴随函子:G:M(ψ′)_A′~C′→M(ψ)_A^C.最后,引入偏正规化余积分θ:C→AA的概念并证明了偏缠绕模范畴的Maschke型定理,也就是说,假设存在偏正规化余积分,给定M_A^C(ψ)中态射f:M→N,则有当单(满)态射f看作C-余模态射可分裂时,必有单(满)态射f在M_A^C(ψ)中可分裂. 展开更多
关键词 偏缠绕模 伴随函子 偏正规化余积分 MASCHKE型定理
在线阅读 下载PDF
Gorenstein AC-投射模的函子伴随性 被引量:4
6
作者 王兴 杨刚 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2020年第10期101-108,共8页
主要研究了Gorenstein AC-投射模以及投射维数有限的模类的逼近,构造了Gorenstein AC-投射模范畴相关的稳定范畴之间的两对伴随函子.
关键词 Gorenstein AC-投射模 伴随函子 稳定范畴
在线阅读 下载PDF
Heyting系统及其H-空间化的性质 被引量:1
7
作者 吴涛 吴洪博 《计算机工程与应用》 CSCD 北大核心 2017年第23期47-50,共4页
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H... 借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H-空间化的等价刻画。 展开更多
关键词 拓扑系统 Heyting系统 H-同胚 伴随函子
在线阅读 下载PDF
三角矩阵环上投射余可解的Gorenstein平坦模 被引量:2
8
作者 王淼 王占平 《吉林大学学报(理学版)》 CAS 北大核心 2021年第1期39-44,共6页
设T=A 0 U B是三角矩阵环,其中A和B是环,U是(B,A)-双模.用环T上模张量的同构式作为桥梁,给出环T上的模是投射余可解的Gorenstein平坦模的等价条件:若fd(BU)<∞,fd(U A)<∞或id(U A)<∞,则左T-模M=M 1 M 2φM是投射余可解的Gore... 设T=A 0 U B是三角矩阵环,其中A和B是环,U是(B,A)-双模.用环T上模张量的同构式作为桥梁,给出环T上的模是投射余可解的Gorenstein平坦模的等价条件:若fd(BU)<∞,fd(U A)<∞或id(U A)<∞,则左T-模M=M 1 M 2φM是投射余可解的Gorenstein平坦模当且仅当M 1是投射余可解的Gorenstein平坦左A-模,CokerφM=M 2/Im(φM)是投射余可解的Gorenstein平坦左B-模,且φM:U AM 1→M 2是单同态. 展开更多
关键词 投射余可解的Gorenstein平坦模 三角矩阵环 伴随函子
在线阅读 下载PDF
复形范畴函子(_RY,hom_s(Y,-))的同伦伴随性
9
作者 赵小妹 《华中师范大学学报(自然科学版)》 CAS CSCD 2006年第3期315-319,共5页
主要讨论了复形范畴的张量积函子与hom函子的同伦伴随性,并且给出了同伦正则正向极限的定义,证明了复形范畴的张量积函子保持这种极限.
关键词 张量积函子 horn函子 伴随函子 同伦正则正向极限
在线阅读 下载PDF
Ding-内射模的函子伴随性
10
作者 罗肖强 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2018年第5期529-532,544,共5页
主要研究了Ding-内射模以及有有限内射维数的模类的逼近,构造了Ding-内射模范畴对应的稳定范畴之间的两对伴随函子.
关键词 Ding-内射模 稳定范畴 伴随函子
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部