论文降重
免费查重
范畴Ω-Cat的完备性
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴.
推荐文章
Yoneda完备度量空间范畴的完备性和余完备性
度量空间
Yoneda完备
完备范畴
余完备范畴
有界完备的domain范畴是monadic范畴
monadic范畴
有界完备的κ-domain
κ-dcpo
κ-空间
范畴Ω-Cat上的模结构
Ω-范畴
模
反射子范畴
适用于程序规范说明的Institution范畴的完备性研究
程序设计语言
程序规范说明
模型论
范畴论
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (12)
共引文献 (13)
参考文献 (7)
节点文献
引证文献 (4)
同被引文献 (2)
二级引证文献 (0)
1964(1)
- 参考文献（1）
- 二级参考文献（0）
1973(1)
- 参考文献（1）
- 二级参考文献（0）
1974(1)
- 参考文献（0）
- 二级参考文献（1）
1981(1)
- 参考文献（0）
- 二级参考文献（1）
1982(1)
- 参考文献（1）
- 二级参考文献（0）
1985(2)
- 参考文献（0）
- 二级参考文献（2）
1986(4)
- 参考文献（0）
- 二级参考文献（4）
1987(3)
- 参考文献（0）
- 二级参考文献（3）
1988(1)
- 参考文献（0）
- 二级参考文献（1）
1993(1)
- 参考文献（1）
- 二级参考文献（0）
1997(1)
- 参考文献（1）
- 二级参考文献（0）
1999(1)
- 参考文献（1）
- 二级参考文献（0）
2007(1)
- 参考文献（1）
- 二级参考文献（0）
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2014(2)
- 引证文献（2）
- 二级引证文献（0）
2015(1)
- 引证文献（1）
- 二级引证文献（0）
2019(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
Ω-范畴
等值子
Ω-值乘积
完备范畴
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
模糊系统与数学
主办单位：
国防科技大学理学院
出版周期：
双月刊
ISSN：
1001-7402
CN：
43-1179/O1
开本：
大16开
出版地：
湖南长沙国防科技大学理学院
邮发代号：
42-180
创刊时间：
1987
语种：
chi
出版文献量（篇）
2985
总下载数（次）
4
总被引数（次）
20856
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
模糊系统与数学2022
模糊系统与数学2021
模糊系统与数学2020
模糊系统与数学2019
模糊系统与数学2018
模糊系统与数学2017
模糊系统与数学2016
模糊系统与数学2015
模糊系统与数学2014
模糊系统与数学2013
模糊系统与数学2012
模糊系统与数学2011
模糊系统与数学2010
模糊系统与数学2009
模糊系统与数学2008
模糊系统与数学2007
模糊系统与数学2006
模糊系统与数学2005
模糊系统与数学2004
模糊系统与数学2003
模糊系统与数学2002
模糊系统与数学2001
模糊系统与数学2000
模糊系统与数学1999
