Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Rn(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.