论文部分内容阅读
1973年,Lawvere引入了强化范畴的Cauchy完备的概念,并且证明:若把度量空间看成[0,∞]^op上的强化范畴,则强化范畴意义下的Cauchy完备和通常由Cauchy序列描述的完备是等价的.本文作者指出在概率拟度量空间中该结论也成立.确切地说,概率拟度量空间的双完备也是强化范畴Cauchy完备的一个特例.