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

• 作者: 吴洪博 吴涛
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 拓扑系统 Heyting系统 H-同胚 伴随函子
• 年，卷（期）: 2017,（23）
• 所属期刊栏目: 理论与研发
• 页码范围: 47-50
• 页数: 4页
• 分类号: O141.1
• 字数: 4462字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1607-0379

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	吴涛	陕西师范大学数学与信息科学学院	9	24	3.0	4.0