期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
双诱导型定向与逆向函子伴随性的研究
1
作者
邵欣
耿俊
汤建钢
《数学的实践与认识》
北大核心
2015年第11期221-225,共5页
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为...
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.
展开更多
关键词
Ω-范畴
双
诱导型
定向
函
子
双诱导型逆向函子
伴随性
原文传递
题名
双诱导型定向与逆向函子伴随性的研究
1
作者
邵欣
耿俊
汤建钢
机构
伊犁师范学院数学与统计学院
四川大学数学学院
出处
《数学的实践与认识》
北大核心
2015年第11期221-225,共5页
基金
新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
文摘
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.
关键词
Ω-范畴
双
诱导型
定向
函
子
双诱导型逆向函子
伴随性
Keywords
Ω-category
bi-induced directed functor
bi-induced inverse functor
adjoint
分类号
O154.1 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
双诱导型定向与逆向函子伴随性的研究
邵欣
耿俊
汤建钢
《数学的实践与认识》
北大核心
2015
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部