排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
定义了一类序结构-FS-交连续domain,讨论其相关性质并证明:(1)FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以(代数)FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;(2)任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构. 相似文献
2.
拟连续Domain及其子范畴间的伴随关系 总被引:1,自引:0,他引:1
基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续 Domain范畴QCCOH)的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴. 相似文献
3.
用伴随的方式给出了拟连续domain以及其Scott闭集格(又叫广义完全分配格)的等价刻画。此外,本文证明了拟连续格关于函数空间是不封闭的,从而不能构成cartesian闭范畴。 相似文献
4.
超连续格(超连续完备半格)可以由函数空间刻画,并且超连续格(超连续完备半格)在Scott连续函数空间下是封闭的,进而其相应的范畴均是Cartesian闭范畴. 相似文献
5.
Rudin性质与拟Z-连续Domain 总被引:1,自引:0,他引:1
对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。 相似文献
6.
7.
本文研究了Domain理论中投射空间的性质.其主要结果是;若连续cpoD的投射空间是连续的,则 D必是代数 Domain.进一步,若连续 cpo D具有性质m则其投射空间是连续 cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集. 相似文献
8.
关于紧连续L-domain的一个刻画定理 总被引:3,自引:0,他引:3
本文从函数空间的Isbell拓扑以及ω-连续性两方面给出了紧连续L-domain的刻画定理.其主要结果是:连续L-domain是Lawson紧的当且仅当函数空间[L→L]的Scott拓扑与Isbell拓扑一致. 相似文献
9.
拟连续Domain及其子范畴间的伴随关系 总被引:2,自引:0,他引:2
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。 相似文献
10.
Smyth幂半格及其连续domain表示 总被引:3,自引:0,他引:3
本文证明了每个Smyth幂半格同构于一连续dcpo的Smyth幂domain,而每个连续dcpo同构于其 Smyth幂 domain的 way below素谱.通过上幂函子建立了连续domain与Smyth幂半格之间的范畴等价性,从而揭示了上、下幂domain结构之间的联系. 相似文献