上传者: weixin_38714532
|
上传时间:2024/8/1 2:16:50
|
文件大小:256KB
|
文件类型:PDF
Heyting系统及其H-空间化的性质
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。
引入Heyting系统的H-同胚的概.念,证明了H-同胚的逆和复合还是H-同胚。
在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。
给出了Heyting系统是可H-空间化的等价刻画。
本软件ID:15483690