Category of metric spaces and isometries

The category contains metric spaces as its objects and isometries as its morphisms, #m/def/anal i.e. if and are metric spaces, a morphism is a function such that

for any .

#state/tidy | #lang/en | #SemBr