李国华
- 作品数：8 被引量：9H指数：2
- 供职机构：四川大学数学学院更多>>
- 发文基金：国家自然科学基金新疆维吾尔自治区自然科学基金新疆维吾尔自治区高校科研计划更多>>
- 相关领域：理学更多>>
- L集合范畴的格值函数空间及其性质被引量：2
- 2010年
- 引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质.
- 李国华张红汤建钢
- 关键词：伴随函子
- L集合范畴的Cartesian闭性被引量：4
- 2010年
- 定义L集合范畴中的一些基本概念,并研究了L集合范畴的格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,即L集合范畴满足Cartesian闭性,其为Cartesian闭范畴。
- 汤建钢李国华张红
- L子集范畴中定向函子与逆向函子的伴随性研究被引量：1
- 2010年
- 引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们是一对伴随函子.进一步引入态射为双诱导型映射的L子集范畴中双诱导型定向函子与逆向函子的概念,并证明它们也构成一对伴随函子。
- 张红李国华汤建钢
- 关键词：伴随性
- 逆序L集合范畴的格值函数空间及其性质被引量：2
- 2011年
- 引入逆序L集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间。进一步指出在逆序L集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序L集合范畴为Cartesian闭范畴。
- 李国华汤建钢张红
- 关键词：伴随函子
- L集合范畴中的L幺半群模被引量：1
- 2010年
- 本文引入以完备的Heyting代数为真值集L集合范畴及L幺半群范畴概念,构造了L幺半群模结构与L幺半群T代数结构;讨论了L积函子F与L幺半群单位函子G的伴随性,并证明了与该伴随对应的L比较函子K是一个同构,从而得出L幺半群单位函子G是L可模的。
- 张红汤建钢李国华
- 双诱导映射φ集合范畴的幂对象及子对象分类子探讨
- 2010年
- 引入双诱导映射φ集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构。
- 张红汤建钢李国华
- 关键词：双诱导映射
- 完备格中四种蕴涵运算与伴随关系被引量：3
- 2010年
- 在完备格中引入了四种二元运算,即蕴涵运算,反蕴涵运算,伪蕴涵运算和伪反蕴涵运算,它们分别对应四类伴随关系,其中两类伴随关系分别对应于Heyting代数与反Heyting代数,并且我们还讨论了关于四种二元运算的部分性质及其关系。
- 李国华汤建钢张红
- 关键词：蕴涵HEYTING代数
- 逆序L集合范畴的完备性
- 2011年
- 本文引入了以完备的反Heyting代数为真子集的格值集合模型L的概念,为运用范畴理论研究L集合的性质,可视满足格值逆序性的集合之间映射为态射,则构成逆序L集合范畴;研究了该范畴中等值子、余等值子与集合范畴中等值子、余等值子之间关系,并探讨了其格值乘积的点式与无点式刻画,最后证明了逆序L集合范畴为完备范畴,且具有拉回性质.
- 李国华汤建钢张红
