国家自然科学基金(11161050)
- 作品数：23 被引量：27H指数：4
- 相关作者：汤建钢刘淼耿俊聂晓艳包艳玲更多>>
- 相关机构：伊犁师范学院伊犁师范大学喀什师范学院更多>>
- 发文基金：国家自然科学基金新疆维吾尔自治区重点学科建设项目新疆维吾尔自治区自然科学基金更多>>
- 相关领域：理学经济管理自动化与计算机技术更多>>
- 范畴Ω-Cat的完备性被引量：4
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。
- 耿俊汤建钢聂晓艳
- 关键词：Ω-范畴
- Ω-左R-模范畴中内射对象的等价刻画
- 2020年
- 引入内射Ω-左R-模的概念,研究内射Ω-左R-模的等价刻画,证明一簇Ω-左R-模的乘积是内射Ω-左R-模当且仅当每一个是内射Ω-左R-模,一个Ω-左R-模是内射Ω-左R-模当且仅当它的每一个截集是内射左R-模.
- 黄美丽汤建钢周鑫
- 范畴Ω-Cat的极限和余极限被引量：2
- 2012年
- Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
- 耿俊汤建钢聂晓艳
- 关键词：Ω-范畴
- Ω-左R -模范畴中的平坦对象研究被引量：1
- 2020年
- 定义了Ω-左R-模范畴.同理,可定义Ω-右R-模范畴.给出了平坦Ω-左R-模的概念,研究了Ω-左R-模具有平坦性的等价刻画问题.证明了:自由Ω-左R-模、投射Ω-左R-模和内射Ω-左R-模均是平坦Ω-左R-模.
- 马晓君汤建钢
- 关键词：正合性平坦性
- Ω-群范畴是幺半范畴
- 2013年
- 主要证明了Ω-群范畴是幺半范畴.
- 白蕾杰吴雅丽
- 简单图范畴与群范畴之间的一对伴随函子被引量：1
- 2013年
- 基于群中元素的交换性,构造了一个函子G:groups→s-graphs,并且构造了其反向函子F:s-graphs→groups,证明了F恰是G的伴随函子.
- 苑呈涛汤建钢
- 关键词：函子
- 关于二维连续型随机变量函数分布的推广和运算被引量：1
- 2014年
- 本文从二维连续型随机变量的联合分布函数与联合概率密度函数的关系入手,讨论了二维连续型随机变量四则运算的分布,并给出了求解函数分布的简便方法.
- 刘淼
- 关键词：连续型随机变量分布函数密度函数
- 基于Ω-左R-子模范畴的伴随性
- 2020年
- 给出了Ω-左R-子模范畴的概念,研究了一对诱导函子,证明了诱导函子的伴随性.
- 耿俊汤建钢苏小霞
- 关键词：伴随性
- Ω-左R-模范畴中态射的特征研究
- 2020年
- 在Ω-左R-模范畴中研究单态射与满态射的特征,研究基于Ω-左R-模范畴的单态射与满态射的表示,给出单态射与满态射在Ω-左R-模范畴中的若干等价刻画.
- 黄美丽汤建钢徐亚琴马晓君郭云涛王玉芬张凯强
- 关于几个重要集类间关系的探究
- 2014年
- 通过几个重要集类定义、性质的分析,探讨了域、半域、环、δ域、δ环及单调类、π类、λ类等重要集类之间的关系,并得到了F为δ域的若干等价条件,为"高等概率论"及"随机过程"等后续课程的学习提供了必要的基础。
- 张晓军刘淼
