【摘要】：借助于拓?fù)湎到y(tǒng)的思想和方法,對Heyting系統(tǒng)的H-空間化進(jìn)行了再研究。引入Heyting系統(tǒng)的H-同胚的概念,證明了H-同胚的逆和復(fù)合還是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.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院;
【基金】：國家自然科學(xué)基金重點(diǎn)項(xiàng)目(No.11531009);國家自然科學(xué)基金面上項(xiàng)目(No.61572016) 中央高校基本科研業(yè)務(wù)費(fèi)專項(xiàng)資金項(xiàng)目(No.GK201501001)
【分類號】：O189

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：2392385