论文部分内容阅读
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴-Cat中的余等值子和余积性质,揭示了范畴Ω-Cat与范畴Set中余等值子之间的关系,刻画了范畴Ω-Cat与范畴Set中余积之间的联系,同时证明了范畴Ω-Cat存在拉回.
范畴Ω-Cat若干性质的研究
【摘 要】
：
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴-Cat中的余等值子和余积性质,揭示了范畴Ω-Cat与范畴Set中余等值子之间的关
【机 构】
：
喀什师范学院数学系,新疆喀什,844006
【出 处】
：
模糊系统与数学
【发表日期】
：
2013年5期
其他文献
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
粒子图像测速技术(particle image velocimetry,PIV)中采用的互相关算法就是需要从独立存在的两幅图像通过一定的判别方法得到流场中各点的流速矢量的计算方法.互相关算法的
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
自从1980年代迈克尔·波特提出国家竞争力模型之后，旅游目的地竞争力评价的指标体系和测评方法就一直是学者研究的重点。本文通过对国内外旅游目的地竞争力相关研究的追踪和分
Clay minerals in surface sediments of the Pearl River drainage basin and their contribution to the S
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
吴江市明港道桥工程有限公司紧跟现代企业发展步伐，持续贯彻市委市政府关于加快经济结构调整，实现转型升级的目标任务，企业在多项领域实现了转型升级。
为了梦想去“流学”rn2010年,32岁的白关放弃在上海游戏公司六年的积累,挥别了上海的同事和承载着回忆的黄浦江,就这样出发了.一个人,骑着一辆自行车,用六万元公积金,走遍了
期刊
王海鸽以其自成特色的平民化书写关照了新时期的都市生活、市民生活，这种精神关照为她的作品赢得了众多的读者群。在众多书写都市的作家中，王海鸽以独特的创作视角，对现代都市及