【摘 要】
：
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例
【基金项目】
：
国家自然科学基金，国家自然科学基金，国家自然科学基金
论文部分内容阅读
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。
其他文献
<正> 墨子有言云:节俭则昌,淫佚败亡。细而品味,颇具哲理,昌,乃盛世兴室,续递龙业;亡则反其道而行之,灭族戮民,万年遗臭。节俭达昌,淫佚至亡,放之四海而皆准。“以俭立名,以
<正> 有关同位角、内错角和同旁内角有下述三种题型. 一、已知两个角,判定这两个角是什么位置的角,并判定它们是由哪两条直线被哪一条直线截成的?
<正> 今年以来,理论界就社会主义初级阶段的问题进行了广泛的研讨,现将部分研讨观点概述如下,供同志们参考。 1.提出社会主义初级阶段的意义理论界普遍认为,党中央明确提出“
本文讨论了Banach空间X至连续函数空间C(Ω)的等距嵌入及等距扩张问题,给出了等距扩张问题有肯定回答的一个充要条件,并利用此条件肯定回答了G(Ω)型空间的等距扩张问题,其结
1998年, Heinonen 和 Koskela 在文［5］中研究了距离测度空间上的拟共形映照理论.他们所用的最主要的工具之一就是共形模, 或称为容量,并给出了一个关于模和容量的不等式, 同时
<正> 有人说,当前中学生思想政治教育出现了“三不”,即:“老办法不灵,新办法不明,蛮办法不行。”在新形势下,面对二十世纪八十年代的中学生,如何开展思想政治教育工作,这的
设L0为含两个双曲鞍点Si(i=1,2)的异宿环，Si的双曲比记为ri0(i=1,2),Mourtada在1994年证明如果未扰动系统与被扰系统均为C^∞的，则当r10r20≠1时，L0至多产生两个极限环。本文对C
1．二氧化碳的密度比空气大，既不燃烧。一般情况下也不支持燃烧（1）在教材P14[实验6—4]（如图1所示）中可观察到的实验现象是：低的蜡烛先熄灭，高的蜡烛后熄灭。
本文围绕中心论点层层深入地展开议论，宽容的人是健康而乐观的人；宽容的人还能给别人一份精神的抚慰，解除矛盾，利己利人，利国利民，思路可谓清晰，议论可谓深刻。