论文部分内容阅读
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随函子。给出了Heyting系统是可H-空间化的等价刻画。
Heyting系统及其H-空间化的性质
【摘 要】
：
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是H-同胚。在可H-空间化的Heyting系统范畴与H
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2017年23期
【基金项目】
：
国家自然科学基金重点项目（No.11531009）,国家自然科学基金面上项目（No.61572016）,中央高校基本科研业务费专项资金项目（No.GK201501001）.
其他文献
研究了具有饱和项和毒素影响的反应扩散模型的平衡态方程,在齐次Neumann边界条件下常数平衡解的分歧与稳定性。利用谱分析和分歧理论的方法,分别以r1、r2为分歧参数,讨论了系
目的：观察安定对产程的影响和副作用,探讨其临床意义。方法：随机选取宫口开至（2-4）cm的1胎0产产妇60例,观察产妇的产程进展,分娩方式及对胎心率的影响。结果：使用安定后产妇宫口扩
新闻标题的选择成分在句法、语用方面有如下特点：在句法上。能作主语、谓语、宾语，能独立构成选择复句，有“还是、耶、焉、孰、兮、或”等独特标记形式；在语用上，可运用仿词、对比
一个比较大的数，或一个绝对值很小的数，写起来，读起来都不方便，因此人们用科学记数法来记这些比较大或绝对值比较小的数。科学记数法是把一个数写成a×10^n的形式，其中a是1≤a
颈椎病又称颈椎综合征,是各种原因导致颈椎间盘和小关节慢性劳损退变,引起脊髓、神经和血管损害的相应症状和体征,多发于中老年,该病病程长,易反复发病,因此早期准确诊断、早
目的观察氨氯地平分别与替米沙坦及复方阿米洛利联合降压治疗对高血压患者左室质量指数的影响。方法 127例高血压病患者随机分为A组68例和B组59例。A组给予氨氯地平加替米沙