邵欣

作品数：1被引量：0H指数：0
导出分析报告
供职机构：伊犁师范学院更多>>
发文主题：伴随性乘积Ω-范畴函子等值更多>>
发文领域：理学更多>>
发文期刊：《数学的实践与认识》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
双诱导型定向与逆向函子伴随性的研究
《数学的实践与认识》2015年第11期221-225,共5页邵欣 耿俊 汤建钢 
新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为...
关键词：Ω-范畴 双诱导型定向函子 双诱导型逆向函子 伴随性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部