计算机工程与应用 ›› 2017, Vol. 53 ›› Issue (23): 47-50.DOI: 10.3778/j.issn.1002-8331.1607-0379

• 理论与研发 • 上一篇    下一篇

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

吴  涛,吴洪博   

  1. 陕西师范大学 数学与信息科学学院,西安 710062
  • 出版日期:2017-12-01 发布日期:2017-12-14

Properties of Heyting system and its H-spatilization

WU Tao, WU Hongbo   

  1. College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China
  • Online:2017-12-01 Published:2017-12-14

摘要: 借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H-空间化的等价刻画。

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

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.

Key words: topological system, Heyting system, H-homeomorphism, adjoint functor