geopandas_之二点空间化配套数据geopandas_之二点空间化配套数据geopandas_之二点空间化配套数据geopandas_之二点空间化配套数据geopandas_之二点空间化配套数据
2021-07-01 09:02:26
9.61MB
1
借助于拓扑系统的思想和方法，对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概.念，证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。给出了Heyting系统是可H-空间化的等价刻画。
2021-02-26 18:07:56
256KB
1