期刊文献+
共找到46篇文章
< 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
原文传递
Riesz模范畴中自由函子的伴随性
3
作者 王金萌 汤建钢 《伊犁师范大学学报(自然科学版)》 2024年第2期1-5,共5页
基于左R-模上Riesz空间的相关研究,给出了Riesz模范畴的概念,研究了Riesz模范畴中自由函子的伴随性及可裂性,证明了自由函子与遗忘函子是一对伴随函子,以及自由Riesz模F的一个满同态ϕ:M→F是可裂的.
关键词 Riesz模范畴 自由函子 伴随性
下载PDF
对合Quantale范畴中的自由对象及其良幂性 被引量:4
4
作者 周异辉 赵彬 《工程数学学报》 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
5
作者 苗德成 奚建清 苏锦钿 《计算机科学》 CSCD 北大核心 2015年第6期8-11,共4页
归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴... 归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。 展开更多
关键词 归纳数据类型 范畴论 谓词范畴 提升 伴随函子
下载PDF
模范畴与余模范畴之间的等价(英文) 被引量:1
6
作者 董井成 陈惠香 《数学杂志》 CSCD 北大核心 2011年第1期19-27,共9页
本文研究了环上模范畴与余环上余模范畴. 运用可裂叉与余可分余环的性质, 得到了以上两个范畴等价的一些充分条件, 从而推广了文献[6]中的一些结果.
关键词 余矩阵余环 伴随函子 范畴等价
下载PDF
关于伴随函子的等价定义 被引量:1
7
作者 刘洋 王正萍 许庆兵 《佛山科学技术学院学报(自然科学版)》 CAS 2014年第1期12-16,共5页
伴随是范畴论中最重要的概念之一,其定义涉及多个量且难以理解。介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性,从而可以更加直观地理解伴随函子的定义,并给出了伴随函子的应用例子。
关键词 范畴 函子 伴随对
下载PDF
L—fuzzy模范畴的张量积与张量函子 被引量:16
8
作者 汤建钢 《模糊系统与数学》 CSCD 1995年第3期65-73,共9页
本文在L—fuzzy模范畴中,建立了相应的张量积,给出了它的结构性、存在性与唯一性定理,并讨论了张量函子与Hom函子的伴随性。所得结果为通常张量积的“良好推广”(goodextension)。
关键词 张量积 张量函子 态射函子 LF模范畴
下载PDF
模范畴中的左拟相伴函子对 被引量:1
9
作者 郭广泉 《河南师范大学学报(自然科学版)》 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
10
作者 董井成 《曲阜师范大学学报(自然科学版)》 CAS 2010年第4期36-40,共5页
设C是一个G-A-余环,Cfgp和fCgp分别是右和左的C-余模范畴,其中对象作为右或左的A-模是有限生成投射的.该文证明了范畴fCgp和Cfgp是等价的.基于此结论,得到C-余模范畴和某一模范畴之间的一对伴随函子.
关键词 余模 群余环 伴随函子
下载PDF
L集合范畴的格值函数空间及其性质 被引量:2
11
作者 李国华 张红 汤建钢 《伊犁师范学院学报(自然科学版)》 2010年第2期1-5,共5页
引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值... 引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质. 展开更多
关键词 格值乘积 格值函数空间 伪格值函数空间 伴随函子 Cartesian闭性
下载PDF
伴随上的自然变换 被引量:3
12
作者 陈焕艮 《南京大学学报(自然科学版)》 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
13
作者 周相泉 《烟台大学学报(自然科学与工程版)》 CAS 1998年第2期85-90,共6页
介绍了LFuzy拓扑群范畴.引入了两个函子,构造了它们的右伴随函子,证明了分明拓扑群范畴和诱导LFuzy拓扑群范畴都是LFuzy拓扑群范畴的余反射子范畴,引入了一个遗忘函子,并通过构造其左右伴随揭示了分明群范畴... 介绍了LFuzy拓扑群范畴.引入了两个函子,构造了它们的右伴随函子,证明了分明拓扑群范畴和诱导LFuzy拓扑群范畴都是LFuzy拓扑群范畴的余反射子范畴,引入了一个遗忘函子,并通过构造其左右伴随揭示了分明群范畴与LFuzy拓扑群范畴之间的内在联系. 展开更多
关键词 范畴 函子 LF拓扑群 LF拓扑空间 拓扑群
下载PDF
偏缠绕模的Maschke型定理
14
作者 郭双建 董丽红 《河南师范大学学报(自然科学版)》 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
分次环与模范畴上的伴随函子
15
作者 孙建华 李尚志 《数学杂志》 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
广义Comma范畴的Recollement
16
作者 辛林 郑琳 《数学杂志》 CSCD 北大核心 2016年第4期820-830,共11页
本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.
关键词 广义Comma范畴 ABEL范畴 伴随函子 RECOLLEMENT
下载PDF
L子集范畴中定向函子与逆向函子的伴随性研究 被引量:1
17
作者 张红 李国华 汤建钢 《伊犁师范学院学报(自然科学版)》 2010年第1期1-4,共4页
引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子。
关键词 L子集范畴 Zadeh型定向函子 Zadeh型逆向函子 双诱导型定向函子 双诱导 型逆向函子 伴随性
下载PDF
Sober Topological Molecular Lattices
18
作者 张德学 李永明 《Northeastern Mathematical Journal》 CSCD 2003年第3期254-258,共5页
A topological molecular lattice (TML) is a pair (L, r), where L is a completely distributive lattice and T is a subframe of L. There is an obvious forgetful functor from the category TML of TML’s to the category Loc ... A topological molecular lattice (TML) is a pair (L, r), where L is a completely distributive lattice and T is a subframe of L. There is an obvious forgetful functor from the category TML of TML’s to the category Loc of locales. In this note, it is showed that this forgetful functor has a right adjoint. Then, by this adjunction, a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated. 展开更多
关键词 topological molecular lattice LOCALE adjoint functor
下载PDF
准严格半Abel范畴上的伴随函子对 被引量:1
19
作者 陈良钰 辛林 《宁德师范学院学报(自然科学版)》 2020年第3期225-230,234,共7页
在准严格半Abel范畴的单边导出范畴上构造一类截断函子,并以此诱导出伴随函子对.
关键词 准严格半Abel范畴 截断函子 伴随函子对
下载PDF
自由函子及其伴随函子
20
作者 吴毅清 文蕴 《数学理论与应用》 2005年第4期41-43,共3页
本文证明了由集合范畴到f-模范畴的自由函子的存在性,构造了自由函子的伴随函子.
关键词 自由函子 f-模范畴 伴随函子 存在性
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部