您的位置： 专家智库 > >

邵欣

作品数：2 被引量：0H指数：0
供职机构：伊犁师范学院更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇理学

主题

  • 2篇伴随性
  • 1篇等值
  • 1篇诱导型
  • 1篇函子
  • 1篇Ω-范畴
  • 1篇乘积

机构

  • 2篇伊犁师范学院
  • 1篇四川大学

作者

  • 2篇邵欣
  • 1篇耿俊
  • 1篇汤建钢

传媒

  • 1篇数学的实践与...

年份

  • 1篇2016
  • 1篇2015
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于(?)-范畴的伴随性及完备性
范畴论起源于20世纪40年代,1942年Eilenberg与MacLane提出了范畴的概念,作为一种方便的数学语言,已逐渐渗透到其它学科.由于L-范畴具有范畴论和序结构的双重性质,本文研究了?(X)-范畴之间函子的伴随性...
邵欣
关键词：伴随性乘积
文献传递
双诱导型定向与逆向函子伴随性的研究
2015年
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.
邵欣耿俊汤建钢
关键词：Ω-范畴伴随性
全选 清除 导出
共1页<1>
聚类工具0