基于Ω-范畴的定向与逆向函子伴随性的研究  

The Study about Adjoint of Directed and Inverse Functors in Relation to the Ω-category

作　　者：耿俊[1] 寇辉[1] 

机构地区：[1]四川大学数学学院长江数学中心,四川成都610065

出　　处：《模糊系统与数学》2014年第6期16-19,共4页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11371262)

摘　　要：Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。Ω-category has category theory and order theory double meaning, which can provide a quantitative model for the semantics of computer programming languages. In this paper we given the the definition of directed and inverse functors, which in the type of Zadeh^s mapping. Furthermore, we proved thedirected and inverse functors are a pair of adjoint functor.

关 键 词：Ω-范畴 Zadeh型定向函子 Zadeh型逆向函子 伴随性 

分 类 号：O159[理学—数学] O154[理学—基础数学]