【摘要】：借助于拓撲系統(tǒng)的思想和方法,對Heyting系統(tǒng)的H-空間化進行了再研究。引入Heyting系統(tǒng)的H-同胚的概念,證明了H-同胚的逆和復合還是H-同胚。在可H-空間化的Heyting系統(tǒng)范疇與Heyting系統(tǒng)范疇之間建立了伴隨函子。給出了Heyting系統(tǒng)是可H-空間化的等價刻畫。
[Abstract]:With the help of the idea and method of topological system, the H-space of Heyting system is studied again. The concept of H-homeomorphism of Heyting system is introduced, and it is proved that the inverse sum of H-homeomorphism or the compound of H-homeomorphism is still H-homeomorphism. Adjoint functors are established between the category of Heyting system and the category of Heyting system. An equivalent characterization of Heyting system is given.
【作者單位】： 陜西師范大學數(shù)學與信息科學學院;
【基金】：國家自然科學基金重點項目(No.11531009);國家自然科學基金面上項目(No.61572016) 中央高�；究蒲袠I(yè)務費專項資金項目(No.GK201501001)
【分類號】：O189

【相似文獻】

相關(guān)期刊論文 前10條

1 閆慶武;卞正富;董霽紅;;區(qū)域統(tǒng)計指標空間化技術(shù)及應用研究[J];測繪與空間地理信息;2006年06期

2 蘇忍鎖;張馨文;;Heyting代數(shù)與剩余格[J];陜西理工學院學報(自然科學版);2009年04期

3 汪杏枝,陳引蘭;Heyting代數(shù)定義的簡化[J];湖北師范學院學報(自然科學版);2005年03期

4 徐曉泉,熊華平,楊金波;近性Heyting代數(shù)[J];數(shù)學年刊A輯(中文版);2000年02期

5 施恩偉;關(guān)于Heyting代數(shù)公理系統(tǒng)的一個注記[J];云南師范大學學報(自然科學版);1999年04期

6 李志偉,鄭崇友;HEYTING代數(shù)與FUZZY蘊涵代數(shù)[J];數(shù)學雜志;2002年02期

7 楊志英;范疇的伴隨函子[J];聊城師院學報(自然科學版);2001年02期

8 吳毅清;文蘊;;自由函子及其伴隨函子[J];數(shù)學理論與應用;2005年04期

9 劉洋;王正萍;許慶兵;;關(guān)于伴隨函子的等價定義[J];佛山科學技術(shù)學院學報(自然科學版);2014年01期

10 吳洪博;石慧君;;Heyting系統(tǒng)及其H-空間化表示形式[J];電子學報;2012年05期

相關(guān)碩士學位論文 前2條

1 代瑞香;單子和余單子的若干性質(zhì)[D];曲阜師范大學;2007年

2 許麗麗;余Comma范疇局部化的若干研究[D];福建師范大學;2010年

，

本文編號：2392385