两类代数Domain范畴的等价

来源 :西南师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：lt13770509399

【摘要】

：

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B

【作者】

：

刘妮

【机构】

：

陕西师范大学数学与信息科学学院

【出处】

：

西南师范大学学报：自然科学版

【发表日期】

：

2005年6期

【关键词】

：

范畴等价代数L-domain 代数bc-domain L-偏序集 B-偏序集 equivalence of categories algebraic L-do

【基金项目】

：

中国科学院资助项目，陕西师范大学校科研和教改项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数bc-domain范畴ABD等价.

其他文献

国有施工企业人才流失问题探析

在当前的经济发展环境下国有施工企业所面临的压力和挑战比较严峻,因此针对国有施工企业的人才流失问题进行解决就显得格外重要。基于此,主要就国有施工企业人才流失问题进行

期刊

国有企业人才流失策略

白甲鱼胚胎和胚后发育的初步观察

对白甲鱼受精卵进行胚胎发育观察，发现：受精卵呈圆球形，淡黄色，卵径2．0～2．3mm，遇水膨胀后最大直径2．8～2．9mm，沉性卵，弱粘性．水温23～25℃时从受精到孵化历时约48h．胚孔封闭前肌节3对，封闭时肌节

期刊

白甲鱼胚胎发育胚后发育Varicorhinus（Orychostama）simus embryonic development larval develo

非洲英语的语言特征探析

众所周知,英语是一门国际化语言。非洲人是一个大而特殊的群体,他们使用的英语是标准英语的一种变体。由于非洲具有特定的历史与文化特征,非洲英语呈现鲜明的地域特色。将非

期刊

非洲英语语言特征变体

应建立以语体为中心的修辞教学体系

应建立以语体为中心的修辞教学体系江西省永修三中淦家凰中学语文教学大纲指出：“中学语文教育必须以马克思主义为指导，教学生学好课文和必要的语文基础知识……在语文教学的过

期刊

修辞教学体系江西省审美观中学语文教育题旨情境

基于权利要求书的专利快速自动分类方法

随着国家对知识产权的重视,专利申请量呈高速增长的趋势,对专利快速分类的需求越来越迫切。基于权利要求书的专利快速分类方法,充分考虑了专利特性及内容细节,结合专利分类层

期刊

权利要求书特征词自动分类权重矩阵

拓扑空间中关于容许集值映象的重合点定理

利用广义R-KKM映象,在不具有任何凸性结构的拓扑空间中证明了一个关于容许集值映象的重合点定理.作为应用,证明了一个抽象变分不等式,一个KKM型定理和不动点定理.

期刊

重合点定理容许集值映象广义R-KKM映象抽象变分不等式KKM型定理不动点coincidence theorem admissible multifu

甘薯近缘野生植物的开花特性研究

对2个甘薯野生种和4个甘薯种间体细胞杂交种的开花性及其特征特性进行总结：甘薯种间体细胞杂种“北农5501”、“北农5521”、“北农5522”、“北农5502”和6倍体野生种（I．trifid

期刊

甘薯野生种开花Sweet potato（Ipomoea） close plant flower

老年女性2型糖尿病患者骨代谢标志物变化研究

目的探讨老年女性2型糖尿病患者骨代谢标志物的特征。方法对我院内分泌科住院44例老年女性2型糖尿病患者(均为绝经后)的骨代谢标志物进行检测。糖尿病患者根据病程分为糖尿病

期刊

2型糖尿病骨代谢雌二醇糖化血红蛋白

注射用白蛋白结合型紫杉醇联合卡铂一线治疗老年晚期肺鳞癌39例临床观察

目的探讨注射用白蛋白结合型紫杉醇(nab-P)联合卡铂一线治疗老年肺鳞癌的疗效及不良反应。方法回顾性分析2010年2月至2012年2月我院收治的39例老年晚期肺鳞癌患者,给予注射用

期刊

注射用nab-P卡铂一线治疗肺鳞癌老年人

党政联席会议制度衍生问题的博弈分析

党政联席会议制度作为一项创新制度,在领导体制、权力整合、监督制衡和组织保证等方面具有优势,博弈分析表明,党政双方存在着合作与不合作的战略均衡,不同的支付函数决定了不

期刊

党政联席衍生问题博弈

两类代数Domain范畴的等价

与本文相关的学术论文