排序方式: 共有35条查询结果,搜索用时 15 毫秒
21.
In this paper, we investigate the Galois connections between two partially ordered objects in an arbitrary elementary topos. Some characterizations of Galois adjunctions which is similar to the classical case are obtained by means of the diagram proof. This shows that the diagram method can be used to reconstruct the classical order theory in an arbitrary elementary topos. 相似文献
22.
空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭.本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭.还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的.最后,证明了弱空间式性在定向函子下保持不变. 相似文献
23.
本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果. 相似文献
24.
Locale的弱拓扑表达 总被引:7,自引:0,他引:7
本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。 相似文献
25.
26.
本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。 相似文献
27.
利用Locale中的完全正则元和零维元构造性地给出了任意Locale的完全正则反射以及零维反射的描述,并且对于满足‘(<)'关系插入性的Locale,特别地,对正规Locale,证明了全体正则元构成的Locale是其正则反射.进而,利用平稳(flat)子Locale的扩张引理给出了Locale的紧完全正则反射,紧零维反射以及紧正则反射的构造性描述. 相似文献
28.
高效阴离子交换色谱-脉冲安培法测定支链淀粉糖链长分布 总被引:1,自引:0,他引:1
采用高效阴离子交换色谱-脉冲安培法,建立了不同作物中支链淀粉糖链长分布的分析方法.通过异淀粉酶水解支链淀粉糖分枝点的α-1,6糖苷键,形成不同长度的葡萄糖链.比较了不同色谱柱和不同色谱条件对支链淀粉糖链长分布测定结果的影响,优化了测定方法.以水、0.1 mol/L NaOH和1 mol/L NaAc+0.1 mol/L NaOH溶液为淋洗液进行梯度淋洗,通过CarboPac PA 20阴离子交换柱分离,实现了对聚合度(DP)大于80的支链淀粉糖葡萄糖链的测定.分别选取玉米、木薯、马铃薯与水稻的淀粉进行支链淀粉糖链长分布的研究,并用于其分子构型的判断.实验结果表明该方法简便、检测范围广、重现性良好,连续5次进样,在聚合度小于65时,各峰面积的相对标准偏差小于5%,可为进一步的淀粉糖理化特性研究和品种改良提供有效的实验依据. 相似文献
29.
为定量、客观评估烟幕对光电观瞄设备的干扰效果,应用Johnson准则和数字图像处理方法,提出了四种评估准则:目标鉴别等级准则、目标鉴别概率准则、作用距离准则和相似度准则.目标鉴别等级准则、目标鉴别概率准则和作用距离准则分别依据实施干扰前后光电观瞄设备的目标鉴别等级、目标鉴别概率和作用距离的变化评估烟幕对光电观瞄设备的干扰效果.相似度准则利用光电观瞄设备在实施干扰前后图像之间的相似度评估烟幕干扰效果. 相似文献
30.