拓扑系统之间的单-满映射和满-单映射

利用一般拓扑学中的嵌入映射和商映射的部分特征,在拓扑系统之间引入了单-满映射,满-单映射的概念,并构造了相应的实例(一个非连续的单-满映射和一个非连续的满-单映射).通过讨论它们相应的性质说明了这些概念提出的合理性和必要性.

Heyting系统之间的态射分解

给出了Heyting系统之间的单-满映射和满-单映射的概念,并且用具体的实例说明了概念的可能性和合理性。文章的结论对深入研究Heyting系统之间H-连续映射的性质和Heyting系统的空间化形式以及Locale化形式有很好的参考意义。