category of metric spaces
mathematical category with metric spaces as its objects and distance-non-increasing maps as its morphisms
Wikipedia (English): Category_of_metric_spacesWikidata: category of metric spaces
mathswitch — infrastructure for relaying and exchanging mathematical concepts
mathematical category with metric spaces as its objects and distance-non-increasing maps as its morphisms
Wikipedia (English): Category_of_metric_spaces