1973年，Lawvere引入了强化范畴的Cauchy完备的概念，并且证明：若把度量空间看成[0，∞]^op上的强化范畴，则强化范畴意义下的Cauchy完备和......