新疆维吾尔自治区自然科学基金(200721103)
- 作品数：10 被引量：16H指数：3
- 相关作者：汤建钢张红李国华周鑫何敏更多>>
- 相关机构：伊犁师范学院四川大学更多>>
- 发文基金：新疆维吾尔自治区自然科学基金国家自然科学基金新疆维吾尔自治区高校科研计划更多>>
- 相关领域：理学更多>>
- L集合范畴的Cartesian闭性被引量：4
- 2010年
- 定义L集合范畴中的一些基本概念,并研究了L集合范畴的格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,即L集合范畴满足Cartesian闭性,其为Cartesian闭范畴。
- 汤建钢李国华张红
- L集合范畴中的等值子和余等值子被引量：3
- 2009年
- 为了研究L集合的性质,建立L集合的数学框架,在L集合范畴Set(L)中,研究了集合范畴Set(L)中的等值子和余等值子,以及等值子和余等值子的无点式与有点式刻画,为进一步研究集合范畴Set(L)的topos性质打下了基础.
- 何敏汤建钢
- L集合范畴的子对象分类子被引量：1
- 2009年
- 以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子.
- 高百俊汤建钢
- L集合范畴的格值函数空间及其性质被引量：2
- 2010年
- 引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质.
- 李国华张红汤建钢
- 关键词：伴随函子
- L子集范畴中定向函子与逆向函子的伴随性研究被引量：1
- 2010年
- 引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子。
- 张红李国华汤建钢
- 关键词：伴随性
- 逆序L集合范畴的格值函数空间及其性质被引量：2
- 2011年
- 引入逆序L集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间。进一步指出在逆序L集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序L集合范畴为Cartesian闭范畴。
- 李国华汤建钢张红
- 关键词：伴随函子
- 完备格中四种蕴涵运算与伴随关系被引量：3
- 2010年
- 在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分别对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系。
- 李国华汤建钢张红
- 关键词：蕴涵HEYTING代数
- 拟Hopf代数情形的Maschke定理——一种新的证明
- 2009年
- 给出了拟Hopf代数情形的Maschke定理的一种新的基本证明,它不同于F.Panaite的方法.
- 陈全国汤建钢
- 关键词：半单性
- L集合范畴中的极限被引量：5
- 2009年
- 以范畴论为基础,引入L集合范畴Set(L)概念,分别研究了Set(L)中的极限与余极限问题,同时给出了Set(L)中极限的具体结构和一些生质。
- 周鑫汤建钢
- 双诱导映射φ集合范畴的幂对象及子对象分类子探讨
- 2010年
- 引入双诱导映射φ集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构。
- 张红汤建钢李国华
- 关键词：双诱导映射
