期刊文章详细信息
基于Ω-范畴的定向与逆向函子伴随性的研究
The Study about Adjoint of Directed and Inverse Functors in Relation to the Ω-category
文献类型：期刊文章
机构地区：[1]四川大学数学学院长江数学中心,四川成都610065
基 金：国家自然科学基金资助项目(11371262)
年 份：2014
卷 号：28
期 号：6
起止页码：16-19
语 种：中文
收录情况：BDHX、BDHX2011、CSCD、CSCD2013_2014、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要：Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。
关 键 词：Ω-范畴 Zadeh型定向函子 Zadeh型逆向函子 伴随性
分 类 号：O159[数学类] O154]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
