【摘要】 Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴RΩ(X)之间的Zadeh型定向函子与Zadeh型逆向函子的定义,同时证明了Zadeh型定向函子与Zadeh型逆向函子互为一对伴随函子。更多还原

【Abstract】 Ω-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.更多还原