【摘 要】
：
设(Ω,Ω,I)是交换的有单位元的quantale.从范畴论角度来看(Ω,Ω,I)是一个小的完备的对称的monoidal闭范畴. (Ω,Ω,I)上面的enriched范畴简称为Ω–范畴.Ω–范畴为计算机
论文部分内容阅读
设(Ω,Ω,I)是交换的有单位元的quantale.从范畴论角度来看(Ω,Ω,I)是一个小的完备的对称的monoidal闭范畴. (Ω,Ω,I)上面的enriched范畴简称为Ω–范畴.Ω–范畴为计算机程序语言的语义提供了量化的模型,从而成为量化domain理论中主要的研究对象.由于domain理论关心的是信息的逼近和收敛,所以在这个领域中,Ω–范畴的定向完备性一直备受关注.但是因为完备格Ω的结构远较仅有两个元的布尔代数2复杂,导致文献中出现了用不同方式描述的互不等价的定向完备性概念.本文的一个任务是用enriched范畴的Φ–余完备性理论,对定向完备性给出了形式上统一的描述.因为(Ω,Ω,I)可以作为多值逻辑的真值表, (Ω,Ω,I)上的enriched范畴实际上可以看成一个Ω–值的序结构.很自然地,我们希望像经典的序结构理论那样,讨论多值完备性,连续性和完全分配性,这就是本文的又一个任务.因为多值序结构也是一种特殊的enriched范畴,我们可以使用范畴论方法对多值的序结构进行系统地研究.我们的主要目的是以伴随为工具,统一描述完备性,定向完备性,连续性,以及完全分配性等基本序结构概念.需要特别指出的是,多值逻辑意义下的序结构理论并非只是经典的序结构理论的平行推广.事实上,由于完备格Ω的结构比仅有两个元的布尔格2远为复杂,很多经典偏序集中平凡的问题变得复杂.比如说对于tensor完备性,一个经典的偏序集是tensor完备的当且仅当它有最小元,然而在Ω–范畴中却难于找到这样简单的描述.又例如经典的完全分配格的对偶也是完全分配的,然而在多值序结构理论中这与真值表Ω的逻辑结构有着紧密的联系,我们证明了在Ω是完备剩余格的时候,每个完全分配的Ω–范畴的对偶范畴是完全分配的当且仅当Ω是Girard quantale,即Ω满足二次否定律.
其他文献
总结提出圃地选择、面积确定、品种选择、大穴整地、苗木规格,栽植密度,栽植方式、当年管理等一整套植苗建圃技术;从林地确定、穗材剪取与储藏、改接方法与时间、改接与当年
为明确在济南地区保护地丽蚜小蜂的应用方法及防治粉虱的效果,本研究在章丘市高官寨镇及济阳县崔寨镇的甜瓜、哈密瓜和番茄温室大棚内进行了丽蚜小蜂防治温室粉虱的试验。结
从哲学、宪法与行政法关系、西方各国行政法实践等角度观察,“控权”一直都是行政法的基本功能。其内涵包括密不可分的三个层次:赋权是控权的基础和手段、保权是控权的限度和
针对金属蜂窝真空钎焊件的工艺及结构特点，探讨了利用超声波法对其质量进行检测的可行性和可靠性。在分析影响超声波检测的主要因素的同时，提出了相应的控制方法。可靠性验证结
2015年我国哲学理论研究总体呈现出矛盾着向前发展的态势,一方面产生了大批理论成果,另一方面又陷于创新不足和提振乏力的困境;既彰显了变革时期的问题意识和时代精神,又存在
党的十九大明确提出"深化国有企业改革,发展混合所有制经济,培育具有全球竞争力的世界一流企业",为新时代国有企业改革发展明确了前进方向。这就要求作为国民经济发展中坚力
针对微量布胶情况下布胶量难以有效测量的问题,研究了基于单幅灰度图像还原胶点三维形貌进而进行体积测量的方法;通过建立胶点的光照模型,在一定的约束条件下利用线性迭代算
高层建筑、大型地下工程和立体综合交通枢纽基坑规模大、开挖深,常常建设在人口、交通密集的城市里,场地条件复杂。双排桩-锚索支护结构作为一种新型有效的支护形式,具有刚度大、整体性好、控制变形能力强、桩身受力更加合理以及施工方便造价低等优点,但其受力变形机理也更为复杂,目前关于双排桩-锚索支护结构的研究较少,尤其拉锚式双排桩-锚索支护结构的研究远不能满足工程实际的需要。因此,本文以包头市立体综合交通枢纽
无线激光通信技术有着通信速率高、保密性好、无需线缆等优点,因此在星间通信、星地通信、海上通信等领域有着广阔的应用前景。然而,在激光传输过程中,大气湍流的影响容易造
在当今这个时代 ,亚洲一体化已不再是一个梦想 ,正在变为现实。在一体化的过程中 ,2 0 0 1年 9月中国与东盟 10国达成的《中国 -东盟自由贸易区构架协议》将会成为亚洲一体化