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

Properties of Heyting system and its H-spatilization

作　　者：吴涛 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,西安710062

出　　处：《计算机工程与应用》2017年第23期47-50,共4页Computer Engineering and Applications

基　　金：国家自然科学基金重点项目(No.11531009);国家自然科学基金面上项目(No.61572016);中央高校基本科研业务费专项资金项目(No.GK201501001)

摘　　要：借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H-空间化的等价刻画。With the help of the ideas and methods of topological system, H-spatialization of Heyting system has been investigated again. The concept of H-homeomorphism of Heyting system is proposed, it is proved that the inverse and composite of H-homeomorphisms are also H-homeomorphisms. The adjoint functor between the category of H-spatial Heyting system and the category of Heyting system is established. The equivalent descriptions of H-spatial Heyting system are given.

关 键 词：拓扑系统 Heyting系统 H-同胚 伴随函子 

分 类 号：O141.1[理学—数学]