Heyting系统及其H-空间化的性质

发布时间：2018-12-26 16:29

【摘要】：借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H-空间化的等价刻画。
[Abstract]:With the help of the idea and method of topological system, the H-space of Heyting system is studied again. The concept of H-homeomorphism of Heyting system is introduced, and it is proved that the inverse sum of H-homeomorphism or the compound of H-homeomorphism is still H-homeomorphism. Adjoint functors are established between the category of Heyting system and the category of Heyting system. An equivalent characterization of Heyting system is given.
【作者单位】： 陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金重点项目(No.11531009);国家自然科学基金面上项目(No.61572016) 中央高校基本科研业务费专项资金项目(No.GK201501001)
【分类号】：O189

【相似文献】

相关期刊论文 前10条

1 闫庆武;卞正富;董霁红;;区域统计指标空间化技术及应用研究[J];测绘与空间地理信息;2006年06期

2 苏忍锁;张馨文;;Heyting代数与剩余格[J];陕西理工学院学报(自然科学版);2009年04期

3 汪杏枝,陈引兰;Heyting代数定义的简化[J];湖北师范学院学报(自然科学版);2005年03期

4 徐晓泉,熊华平,杨金波;近性Heyting代数[J];数学年刊A辑(中文版);2000年02期

5 施恩伟;关于Heyting代数公理系统的一个注记[J];云南师范大学学报(自然科学版);1999年04期

6 李志伟,郑崇友;HEYTING代数与FUZZY蕴涵代数[J];数学杂志;2002年02期

7 杨志英;范畴的伴随函子[J];聊城师院学报(自然科学版);2001年02期

8 吴毅清;文蕴;;自由函子及其伴随函子[J];数学理论与应用;2005年04期

9 刘洋;王正萍;许庆兵;;关于伴随函子的等价定义[J];佛山科学技术学院学报(自然科学版);2014年01期

10 吴洪博;石慧君;;Heyting系统及其H-空间化表示形式[J];电子学报;2012年05期

相关硕士学位论文 前2条

1 代瑞香;单子和余单子的若干性质[D];曲阜师范大学;2007年

2 许丽丽;余Comma范畴局部化的若干研究[D];福建师范大学;2010年

，

本文编号：2392385