 Category of bounded metric spaces and non-expansive maps

ID: category-of-bounded-metric-spaces-and-non-expansive-maps

Met_{b}

is the full subcategory on bounded metric spaces. It has finite products: the terminal space is a singleton and

d_{X \times Y} ((x, y), (x^{'}, y^{'})) = max {d_{X} (x, x^{'}), d_{Y} (y, y^{'})} .

 New to topics? Read the docs here!