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