关于概率拟度量空间的注记(英文)

摘要

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