连续广义偏度量空间
Continuous generalized partial metric spaces

The notion of continuous generalized partial metric space is introduced via the Yoneda embedding. 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 formal ball functor on generalized partial metric spaces preserve continuity, and the formal ball functor also reflects continuity