期刊文献+
共找到47篇文章
< 1 2 3 >
每页显示 20 50 100
Adjoint Functors and Representation Dimensions 被引量:2
1
作者 Chang Chang XI 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2006年第2期625-640,共16页
We study the global dimensions of the coherent functors over two categories that are linked by a pair of adjoint functors. This idea is then exploited to compare the representation dimensions of two algebras. In parti... We study the global dimensions of the coherent functors over two categories that are linked by a pair of adjoint functors. This idea is then exploited to compare the representation dimensions of two algebras. In particular, we show that if an Artin algebra is switched from the other, then they have the same representation dimension. 展开更多
关键词 adjoint functor representation dimension global dimension tilting module group algebra
原文传递
Some Pairs of Adjoint Functors Involving Track Homotopy Categories
2
作者 Chen Jixiang Department of Mathematics, Nankai University, Tianjin 300071, China 《Acta Mathematica Sinica,English Series》 SCIE CSCD 1998年第3期321-326,共6页
K. A. Hardie and K. H. Kamps investigated the track homotopy category H_B over a fixed space B ([1]). They have introduced two pairs of adjoint functors: P_B -|N_B and m_* -| m~*, where P_B:H_B→H^B, and m_*:H_A→H_B ... K. A. Hardie and K. H. Kamps investigated the track homotopy category H_B over a fixed space B ([1]). They have introduced two pairs of adjoint functors: P_B -|N_B and m_* -| m~*, where P_B:H_B→H^B, and m_*:H_A→H_B for a fixed map m: A→B. We have introduced a split fibration of categories L: H_b→H_B and proved L-|J, J-|L in [2]. This paper first extends P_B-|N_B to P_b_*-|N_Bb~# for any fixed map b:B→.Moreover we also extend these results to obtain two pairs of adjoint functors involving track homotopy categories H_b and H^b where H^b is the dual of H_b. One of our results is N_b-|P_b. This differs from P_B-|N_B. 展开更多
关键词 Track homotopy category Fibration of categories adjoint functor
原文传递
平凡扩张上的投射余可解Gorenstein平坦模
3
作者 王罗唯 《绵阳师范学院学报》 2025年第2期1-8,共8页
设R是有单位元的结合环,M是R-R-双模,R■M是平凡扩张.刻画了平凡扩张上的投射余可解Gorenstein平坦模(简称PGF-模):设(X,α)是左(R■M)-模,M作为左R-模和右R-模的投射、平坦维数分别有限,且Ζ(R)=(R,0)是相容(R■M)-(R■M)-双模,则(X,α... 设R是有单位元的结合环,M是R-R-双模,R■M是平凡扩张.刻画了平凡扩张上的投射余可解Gorenstein平坦模(简称PGF-模):设(X,α)是左(R■M)-模,M作为左R-模和右R-模的投射、平坦维数分别有限,且Ζ(R)=(R,0)是相容(R■M)-(R■M)-双模,则(X,α)是PGF-模当且仅当左R-模Coker(α)是PGF-模且左R-模的序列M■_(R)M■_(R)X→M■_(R)X→X是正合的. 展开更多
关键词 投射余可解Gorenstein平坦模 平凡扩张 伴随函子
在线阅读 下载PDF
Riesz模范畴中自由函子的伴随性
4
作者 王金萌 汤建钢 《伊犁师范大学学报(自然科学版)》 2024年第2期1-5,共5页
基于左R-模上Riesz空间的相关研究,给出了Riesz模范畴的概念,研究了Riesz模范畴中自由函子的伴随性及可裂性,证明了自由函子与遗忘函子是一对伴随函子,以及自由Riesz模F的一个满同态ϕ:M→F是可裂的.
关键词 Riesz模范畴 自由函子 伴随性
在线阅读 下载PDF
对合Quantale范畴中的自由对象及其良幂性 被引量:4
5
作者 周异辉 赵彬 《工程数学学报》 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
逆序L集合范畴的格值函数空间及其性质 被引量:2
6
作者 李国华 汤建钢 张红 《模糊系统与数学》 CSCD 北大核心 2011年第1期48-55,共8页
引入逆序L集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间。进一步指出在逆序L集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序L集合范畴为Car... 引入逆序L集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间。进一步指出在逆序L集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序L集合范畴为Cartesian闭范畴。 展开更多
关键词 格值乘积 格值函数空间 伴随函子 伪格值函数空间 Cartesian闭性
原文传递
归纳数据类型的范畴论方法 被引量:1
7
作者 苗德成 奚建清 苏锦钿 《计算机科学》 CSCD 北大核心 2015年第6期8-11,共4页
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴... 归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。 展开更多
关键词 归纳数据类型 范畴论 谓词范畴 提升 伴随函子
在线阅读 下载PDF
模范畴与余模范畴之间的等价(英文) 被引量:1
8
作者 董井成 陈惠香 《数学杂志》 CSCD 北大核心 2011年第1期19-27,共9页
本文研究了环上模范畴与余环上余模范畴. 运用可裂叉与余可分余环的性质, 得到了以上两个范畴等价的一些充分条件, 从而推广了文献[6]中的一些结果.
关键词 余矩阵余环 伴随函子 范畴等价
在线阅读 下载PDF
范畴Ω-Cat的函数空间及其性质 被引量:1
9
作者 耿俊 汤建钢 《模糊系统与数学》 CSCD 北大核心 2014年第5期71-75,共5页
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
关键词 Ω-范畴 Ω-值函数空间 伴随函子 Cartesian闭性
原文传递
L—fuzzy模范畴的张量积与张量函子 被引量:16
10
作者 汤建钢 《模糊系统与数学》 CSCD 1995年第3期65-73,共9页
本文在L—fuzzy模范畴中,建立了相应的张量积,给出了它的结构性、存在性与唯一性定理,并讨论了张量函子与Hom函子的伴随性。所得结果为通常张量积的“良好推广”(goodextension)。
关键词 张量积 张量函子 态射函子 LF模范畴
在线阅读 下载PDF
关于伴随函子的等价定义 被引量:1
11
作者 刘洋 王正萍 许庆兵 《佛山科学技术学院学报(自然科学版)》 CAS 2014年第1期12-16,共5页
伴随是范畴论中最重要的概念之一,其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性,从而可以更加直观地理解伴随函子的定义,并给出了伴随函子的应用例子。
关键词 范畴 函子 伴随对
在线阅读 下载PDF
模范畴中的左拟相伴函子对 被引量:1
12
作者 郭广泉 《河南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期20-22,共3页
令A和B是有单位元的结合环,考虑双模Λ∈BMA、X∈AMB和函子F=ΛA-:AM→BM,G=X B-:BM→AM.研究了模范畴中函子的左拟相伴函子,给出了F是G的左拟相伴函子的几个等价条件.
关键词 模范畴 自然变换 左拟相伴函子对
在线阅读 下载PDF
群余环上余模的对偶(英文) 被引量:1
13
作者 董井成 《曲阜师范大学学报(自然科学版)》 CAS 2010年第4期36-40,共5页
设C是一个G-A-余环,Cfgp和fCgp分别是右和左的C-余模范畴,其中对象作为右或左的A-模是有限生成投射的.该文证明了范畴fCgp和Cfgp是等价的.基于此结论,得到C-余模范畴和某一模范畴之间的一对伴随函子.
关键词 余模 群余环 伴随函子
在线阅读 下载PDF
L集合范畴的格值函数空间及其性质 被引量:2
14
作者 李国华 张红 汤建钢 《伊犁师范学院学报(自然科学版)》 2010年第2期1-5,共5页
引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值... 引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质. 展开更多
关键词 格值乘积 格值函数空间 伪格值函数空间 伴随函子 Cartesian闭性
在线阅读 下载PDF
伴随上的自然变换 被引量:3
15
作者 陈焕艮 《南京大学学报(自然科学版)》 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
L-Fuzzy 拓扑群范畴 被引量:1
16
作者 周相泉 《烟台大学学报(自然科学与工程版)》 CAS 1998年第2期85-90,共6页
介绍了LFuzy拓扑群范畴.引入了两个函子,构造了它们的右伴随函子,证明了分明拓扑群范畴和诱导LFuzy拓扑群范畴都是LFuzy拓扑群范畴的余反射子范畴,引入了一个遗忘函子,并通过构造其左右伴随揭示了分明群范畴... 介绍了LFuzy拓扑群范畴.引入了两个函子,构造了它们的右伴随函子,证明了分明拓扑群范畴和诱导LFuzy拓扑群范畴都是LFuzy拓扑群范畴的余反射子范畴,引入了一个遗忘函子,并通过构造其左右伴随揭示了分明群范畴与LFuzy拓扑群范畴之间的内在联系. 展开更多
关键词 范畴 函子 LF拓扑群 LF拓扑空间 拓扑群
在线阅读 下载PDF
偏缠绕模的Maschke型定理
17
作者 郭双建 董丽红 《河南师范大学学报(自然科学版)》 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
分次环与模范畴上的伴随函子
18
作者 孙建华 李尚志 《数学杂志》 CSCD 北大核心 2002年第3期349-353,共5页
设 G是有限群 ,R是强 G-分次环 .本文证明了 R Re-与 Hom Re(R,- )都是从模范畴 R - mod到 Re- mod的“纯量”限制函子 F的伴随函子 ,并且两个函子 R Re-和Hom Re(R,- )是自然同构的 .
关键词 强分次环 模范畴 函子 自然同构
在线阅读 下载PDF
基于Ω-范畴的定向与逆向函子伴随性的研究
19
作者 耿俊 寇辉 《模糊系统与数学》 CSCD 北大核心 2014年第6期16-19,共4页
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。
关键词 Ω-范畴 Zadeh型定向函子 Zadeh型逆向函子 伴随性
原文传递
广义Comma范畴的Recollement
20
作者 辛林 郑琳 《数学杂志》 CSCD 北大核心 2016年第4期820-830,共11页
本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.
关键词 广义Comma范畴 ABEL范畴 伴随函子 RECOLLEMENT
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部