计算机工程与应用2017，Vol.53Issue(23)：47-50,4.DOI:10.3778/j.issn.1002-8331.1607-0379
Heyting系统及其H-空间化的性质
Properties of Heyting system and its H-spatilization
摘要
Abstract
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-同胚/伴随函子Key words
topological system/Heyting system/H-homeomorphism/adjoint functor分类
数理科学引用本文复制引用
吴涛,吴洪博..Heyting系统及其H-空间化的性质[J].计算机工程与应用,2017,53(23):47-50,4.基金项目
国家自然科学基金重点项目(No.11531009) （No.11531009）
国家自然科学基金面上项目(No.61572016) （No.61572016）
中央高校基本科研业务费专项资金项目(No.GK201501001). （No.GK201501001）
