L-序完备格之间的L-逼近态射

L-approximation Morphisms between L-ordered Complete Lattices

本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导的L-序完备格范畴之间的函子的性质。

This paper proposes the concepts of L-approximation morphism and L-Galois connection between L-ordered complete lattices.Firstly,the one-to-one correspondence between L-approximation morphisms and L-Galois connections is established.Then,the basic properties of the category composed of L-ordered complete lattices and L-approximation morphisms are investigated.Finally,the properties of functors between categories of L-ordered complete lattices which is induced by homomorphic maps between complete residuated lattices are studied.