摘要

本文借助Yoneda嵌入引入了连续广义偏度量空间的概念.这类空间在广义偏度量空间里的作用类似于连续的定向完备偏序集在偏序集里的作用.然后本文证明了广义偏度量空间上的前向整体化函子和形式球函子保持连续性,并且形式球函子反射连续性.