伴随函子

作品数：36被引量：48H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：汤建钢辛林赵彬张红李国华更多>>
相关机构：伊犁师范学院福建师范大学陕西师范大学曲阜师范大学更多>>
相关期刊：《计算机工程与应用》《佛山科学技术学院学报（自然科学版）》《西南大学学报（自然科学版）》《吉林大学学报（理学版）》更多>>
相关基金：国家自然科学基金新疆维吾尔自治区自然科学基金山东省自然科学基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
平凡扩张上的投射余可解Gorenstein平坦模
《绵阳师范学院学报》2025年第2期1-8,共8页王罗唯 
重庆市自然科学基金项目(cstc2018jcyjAX0541);重庆市教委项目(KJQN201800509)。
设R是有单位元的结合环,M是R-R-双模,R■M是平凡扩张.刻画了平凡扩张上的投射余可解Gorenstein平坦模(简称PGF-模):设(X,α)是左(R■M)-模,M作为左R-模和右R-模的投射、平坦维数分别有限,且Ζ(R)=(R,0)是相容(R■M)-(R■M)-双模,则(X,α...
关键词：投射余可解Gorenstein平坦模 平凡扩张 伴随函子 
模糊理论与Kleisli范畴被引量：4
《模糊系统与数学》2021年第2期37-42,共6页周鑫 
新疆维吾尔自治区自然科学基金资助项目(2020D01C269)。
运用范畴论的观点和语言,讨论了几种真值集不同的模糊集,得出它们都是特殊的模糊理论。更进一步,指出了模糊理论所对应的范畴与由模糊理论诱导的单子所构造的Kleisli范畴的等价关系。最后,通过一个实例,描述了伴随函子诱导的单子,并构...
关键词：模糊理论 单子 Kleisli范畴 伴随函子 
三角矩阵环上投射余可解的Gorenstein平坦模被引量：2
《吉林大学学报（理学版）》2021年第1期39-44,共6页王淼 王占平 
国家自然科学基金(批准号:11561061).
设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平...
关键词：投射余可解的Gorenstein平坦模 三角矩阵环 伴随函子 
Gorenstein AC-投射模的函子伴随性被引量：4
《西南大学学报（自然科学版）》2020年第10期101-108,共8页王兴 杨刚 
国家自然科学基金项目(11561039);兰州交通大学“百名青年优秀人才培养计划”基金项目;甘肃省自然科学基金项目(17JR5RA091).
主要研究了Gorenstein AC-投射模以及投射维数有限的模类的逼近,构造了Gorenstein AC-投射模范畴相关的稳定范畴之间的两对伴随函子.
关键词：Gorenstein AC-投射模 伴随函子 稳定范畴 
准严格半Abel范畴上的伴随函子对被引量：1
《宁德师范学院学报（自然科学版）》2020年第3期225-230,234,共7页陈良钰 辛林 
福建省教育厅中青年教师教育科研项目(JAT190914).
在准严格半Abel范畴的单边导出范畴上构造一类截断函子,并以此诱导出伴随函子对.
关键词：准严格半Abel范畴 截断函子 伴随函子对 
Ding-内射模的函子伴随性
《浙江大学学报（理学版）》2018年第5期529-532,544,共5页罗肖强 
四川省教育厅自然科学基金资助项目(16ZA0357)
主要研究了Ding-内射模以及有有限内射维数的模类的逼近,构造了Ding-内射模范畴对应的稳定范畴之间的两对伴随函子.
关键词：Ding-内射模 稳定范畴 伴随函子 
Heyting系统及其H-空间化的性质被引量：1
《计算机工程与应用》2017年第23期47-50,共4页吴涛 吴洪博 
国家自然科学基金重点项目(No.11531009);国家自然科学基金面上项目(No.61572016);中央高校基本科研业务费专项资金项目(No.GK201501001)
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H...
关键词：拓扑系统 Heyting系统 H-同胚 伴随函子 
形式语言基于Monads的语义计算模型
《计算机科学》2017年第1期199-202,218,共5页苗德成 奚建清 苏锦钿 
国家自然科学基金项目(61103039);广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155)资助
传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。...
关键词：语义计算 MONADS 伴随函子 形式语言 Kleisli范畴 
拉回环上导出范畴的伴随函子
《福建师范大学学报（自然科学版）》2016年第6期6-12,共7页吴清凤 辛林 
国家自然科学基金资助项目(11071049);福建省自然科学基金资助项目(2011J01004)
设R_1,R_2,R'是3个有单位元的结合环,环R是环同态j_1:R_1→R'和j_2:R_2→R'的拉回环.首先引入了左R_1-模复形范畴与左R_2-模复形范畴的积范畴的一个子范畴C(T),利用拉回函子方法构造了一个加法函子P:C(T)→C(R-Mod),以及S:C(R-Mod)→C(...
关键词：伴随对 复形范畴 同伦范畴 导出范畴 
广义Comma范畴的Recollement
《数学杂志》2016年第4期820-830,共11页辛林 郑琳 
国家自然科学基金资助(11071040);福建省自然科学基金资助(2011J01004)
本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.
关键词：广义Comma范畴 ABEL范畴 伴随函子 RECOLLEMENT 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部