-
题名Ω-左R-子模范畴一对双诱导函子的伴随性
- 1
-
-
作者
耿俊
-
机构
内蒙古师范大学数学科学学院
-
出处
《模糊系统与数学》
北大核心
2019年第6期47-51,共5页
-
基金
国家自然科学基金资助项目(11371262)
内蒙古自治区自然科学基金资助项目(2019BS01001)
内蒙古师范大学高层次人才科研项目(2018YJRC018)
-
文摘
本文给出了Ω-左R-子模范畴的概念,得到了一对双诱导函子,证明了双诱导函子的伴随性.
-
关键词
Ω-左R-子模范畴
双诱导函子
伴随性
-
Keywords
Ω-left-R-submodel
Bi-induced Functor
Adjoint
-
分类号
O159
[理学—基础数学]
O154
[理学—基础数学]
-
-
题名L子集范畴中定向函子与逆向函子的伴随性研究
被引量:1
- 2
-
-
作者
张红
李国华
汤建钢
-
机构
伊犁师范学院数学系
-
出处
《伊犁师范学院学报(自然科学版)》
2010年第1期1-4,共4页
-
基金
国家自然科学基金资助项目(10871137)
新疆自然科学基金项目(200721103)
+1 种基金
新疆维吾尔自治区高校科研计划重点项目(XJEDU2006157)
伊犁师范学院2008年度大学生科研计划课题(2008XS06)
-
文摘
引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子。
-
关键词
L子集范畴
Zadeh型定向函子
Zadeh型逆向函子
双诱导型定向函子
双诱导
型逆向函子
伴随性
-
Keywords
the category of L subsets
Zadeh's type directed functor
Zadeh's type inverse functor: Bi-induced type directed functor
Bi-induced type directed functor
adjoint
-
分类号
O154.1
[理学—基础数学]
-
-
题名双诱导型定向与逆向函子伴随性的研究
- 3
-
-
作者
邵欣
耿俊
汤建钢
-
机构
伊犁师范学院数学与统计学院
四川大学数学学院
-
出处
《数学的实践与认识》
北大核心
2015年第11期221-225,共5页
-
基金
新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
-
文摘
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.
-
关键词
Ω-范畴
双诱导型定向函子
双诱导型逆向函子
伴随性
-
Keywords
Ω-category
bi-induced directed functor
bi-induced inverse functor
adjoint
-
分类号
O154.1
[理学—基础数学]
-