本文借助Yoneda嵌入引入了连续广义偏度量空间的概念.这类空间在广义偏度量空间里的作用类似于连续的定向完备偏序集在偏序集里的作用.然后本文证明了广义偏度量空间上的前向整体化函子和形式球函子保持连续性,并且形式球函子反射连续性.
The notion of continuous generalized partial metric space is introduced via the Yoneda embed- ding. Such spaces are the counterparts of continuous directed complete partially ordered sets in the realm of generalized partial metric spaces. It is shown that both the forward globalization functor and the for- mal ball functor on generalized partial metric spaces preserve continuity, and the formal ball functor also reflects continuity.