对合Quantale的表示定理

来源 :泰山学院学报 | 被引量 : 0次 | 上传用户:wusuowei2100
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
引入了关系对合Quantale的定义,得到了对合Quantale的表示定理,并且在范畴意义下,讨论了对合Quantale范畴与其满子范畴等价.
其他文献
文章首先分析了东西部的商品流转状况及其对两地经济发展的影响,进而提出了建立和拓展东西部亢进互补关系,以促进东西部地区共同发展。
回顾策划编辑制在中国发展的历史和现状,阐述实施过程中业界的各种议论和推测,分析其优势和弊端,以期对策划编辑制的发展历程有更加清晰的认识。
天贶殿壁画上部的建筑画与“西洋景”、“布景画”这两种民间艺术形式有着紧密的关联,主要表现在画面中的透视方法和明暗效果的运用,这一点可以从它们所共同采用的畸变的透视
面对日益紧缺的石油储备和扩大的石油需求,不少能源专家开始呼吁建设节能性社会。而燃油税替代公路养路费是我国长期节能战略的一个重要步骤。通过对燃油税的经济学分析可以看
运用基于DEA的经济增长核算模型,将劳动生产率的变化分解成由技术效率的变化、技术进步和资本深化所引致的三大部分,并运用反事实劳动生产率差异分析法分析2003-2007年我国39个
采用金相显微镜,X射线衍射和电子探针相结合的方法,观察与分析了合金的金相组织,并采用多种腐蚀试验方法,研究了耐复合介质的泵用新型合金在80℃温度条件下的均匀腐蚀,晶间腐蚀与点蚀
针对我国各抽油杆生产厂在D级抽油杆喷丸工艺中多注重除锈效果,而较少关注喷丸强化对提高疲劳极限作用的现状,研究了D级抽油杆喷丸强化的最佳工艺。结果表明,在其他喷丸参数相近时
抽油机减速器结构的设计允许输入 轴和中间轴有少量串动,目的是使人字齿轮对轮中重合,实现良好的齿轮啮合。文献「1」把串轴解释为“轴的来回移动”是不全面的;分析串轴原因的论
嘉立荷第八牧场的名字.因其国内年单产最高在整个奶牛养殖行业里声誉满载,2005年8吨左右,2008年9.3吨,2009年10吨,2010年11吨,2011年单产12吨,2012年再创佳绩年单产12.26吨.2013年单产1
多年来,由于三盛公水利枢纽的库区和闸下淤积严重,造成库容减少,输水输沙能力降低,给灌区用水和工程安全造成了不利的影响,论述了淤积的情况,原因,危害及应采取的措施。