Heyting系统及其H-空间化的性质
来源：计算机工程与应用杂志2017年第23期北京时间：
作者：吴 涛，吴洪博
单位：陕西师范大学 数学与信息科学学院，西安 710062
摘要：借助于拓扑系统的思想和方法，对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念，证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H-空间化的等价刻画。
关键词：拓扑系统,Heyting系统,H-同胚,伴随函子
