ウィリアム・ローヴェル（William Lawvere）が、「距離空間は豊饒圏（enriched category）なんだよ」と指摘したことは有名な話です。ローヴェルの例において、圏とみなした非負実数で豊饒化された圏は、通常の距離空間を少し拡張したものになっています。今…