Category of metric spaces

Category of metric spaces and isometries

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

for any .


tidy | en | sembr