双诱导型定向与逆向函子伴随性的研究  

The Study about Adjoint of Directed and Inverse Functors of the Bi-induced Type

作　　者：邵欣[1] 耿俊[1,2] 汤建钢[1] 

机构地区：[1]伊犁师范学院数学与统计学院,新疆伊犁835000 [2]四川大学数学学院,四川成都610065

出　　处：《数学的实践与认识》2015年第11期221-225,共5页Mathematics in Practice and Theory

基　　金：新疆维吾尔自治区普通高校重点学科开放课题(2012ZDXK01)

摘　　要：Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,给出了范畴(?)_(Ω_(1))(X)与范畴(?)_(Ω_(2))(Y)之间的双诱导型定向函子及双诱导型逆向函子的定义,同时证明了双诱导型定向函子与双诱导型逆向函子互为一对伴随函子.Ω-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 definition of directed and inverse functors, which in the type of bi-induced mapping. Furthermore, we proved the directed and inverse functors are a pair of adjoint functor.

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

分 类 号：O154.1[理学—数学]