关键词: 拓扑系统, 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