Ω-范畴

作品数：12被引量：9H指数：2
导出分析报告
相关领域：理学更多>>
相关作者：耿俊汤建钢聂晓艳陈国龙闵超更多>>
相关机构：四川大学伊犁师范学院喀什师范学院淮北煤炭师范学院更多>>
相关期刊：《模糊系统与数学》《数学杂志》《数学学报（中文版）》《南京师大学报（自然科学版）》更多>>
相关基金：国家自然科学基金新疆维吾尔自治区自然科学基金安徽省高校省级自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
范畴Ω-Cat上的模结构
《南京师大学报（自然科学版）》2019年第2期57-60,共4页赵娜 鲁静 
国家自然科学基金(11601302)
本文构造了范畴Ω-Cat上的一个模,并且证明了范畴Ω-Poset与范畴Ω-CatT同构.
关键词：Ω-范畴 模 反射子范畴 
双诱导型定向与逆向函子伴随性的研究
《数学的实践与认识》2015年第11期221-225,共5页邵欣 耿俊 汤建钢 
新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为...
关键词：Ω-范畴 双诱导型定向函子 双诱导型逆向函子 伴随性 
基于Ω-范畴的定向与逆向函子伴随性的研究
《模糊系统与数学》2014年第6期16-19,共4页耿俊 寇辉 
国家自然科学基金资助项目(11371262)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。
关键词：Ω-范畴 Zadeh型定向函子 Zadeh型逆向函子 伴随性 
范畴Ω-Cat的函数空间及其性质被引量：1
《模糊系统与数学》2014年第5期71-75,共5页耿俊 汤建钢 
新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat的Ω-值函数空间,得出了Ω-值函数空间函子与Ω-值积函子互为伴随函子,证明了范畴Ω-Cat是Cartesian闭范畴。
关键词：Ω-范畴 Ω-值函数空间 伴随函子 Cartesian闭性 
范畴Ω-Cat的极限和余极限被引量：2
《模糊系统与数学》2012年第4期89-93,共5页耿俊 汤建钢 聂晓艳 
国家自然科学基金资助项目(11161050);新疆维吾尔自治区自然科学基金资助项目(2011211A051)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。
关键词：Ω-范畴 极限 余极限 
范畴Ω-Cat的完备性被引量：5
《模糊系统与数学》2012年第2期147-151,共5页耿俊 汤建钢 聂晓艳 
国家自然科学基金资助项目(11161050);新疆维吾尔自治区自然科学基金资助项目(2011211A051)
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。
关键词：Ω-范畴 等值子 Ω-值乘积 完备范畴 
关于完全理论在S_n(T)拓扑空间中的性质探讨
《太原师范学院学报（自然科学版）》2011年第1期48-50,共3页杨年西 
在可数形式语言L中,完全理论T在Sn(T)拓扑空间的性质很好反映了完全理论T的性质.主要对完全理论T型的拓扑空间的不同性质进行研究,证明了如果完全理论T有无限模型,那么ω-范畴完全理论充分必要条件:对任意正整数n,Sn(T)拓扑空间是离散空间.
关键词：模型论 型 Ω-范畴 完全理论 
关于度量空间的formal balls构成的偏序集被引量：2
《四川大学学报（自然科学版）》2010年第1期31-34,共4页赵红斌 
formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.
关键词：FORMAL ball Ω-范畴 Yoneda嵌入 TENSOR tensor完备化 
关于连续Ω-范畴的讨论(英文)被引量：1
《四川大学学报（自然科学版）》2009年第6期1595-1599,共5页闵超 梁基华 
国家自然科学基金重点项目(0020105401084)
作者引入了理想完备Ω-范畴上的way below关系与完备Ω-范畴上的well below关系,证明了理想完备Ω-范畴上的连续性和完备Ω-范畴上的完全分配性可以分别用这两个关系来刻划,得出了完全分配Ω-范畴连续的推论.
关键词：于连 范畴 完全分配 关系 IDEAL 理想 连续性 分配性 PAPER 证明 推论 刻划 
拓扑学在模型论中的一个应用
《数学杂志》2003年第3期277-280,共4页朱昌杰 
本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论,获得了ω-范畴的新结果,并得到了关于模型个数的几个结果。
关键词：拓扑学 模型论 型 Ω-范畴 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部