引入逆序£集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间。进一步指出在逆序£集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序£集合范畴为Cartesian闭范畴。
In this paper we introduced the conception of the inverse order £-Sets category, and researched the two kinds of functional spaces in this category, which are the lattice-valued functional space and the pseudo lattice-valued functional space. Furthermore, we showed the lattice-valued functional space functor is a right adjoint for the lattice-valued product functor, and the pseudo lattice-valued functional space functor is also a right adjoint for the lattice-valued meet functor. Therefore, the category of inverse order £-Sets is Cartesian closed.