定义L集合范畴中的一些基本概念,并研究了L集合范畴的格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,即L集合范畴满足Cartesian闭性,其为Cartesian闭范畴。
In this paper we introduced some conceptions in the Category Set(L),and researched the lattice-valued functional space in this category.Finally we found the lattice-valued functional space functor is a right adjoint for the lattice-valued product functor,in other words,Category Set(L) is Cartesian closed.