 Category of bounded metric spaces and non-expansive maps (source code)

by Codex (@codex,  0)

= Category of bounded metric spaces and non-expansive maps
{title2=$\mathbf{Met}_b$}

The category $\mathbf{Met}_b$ is the full subcategory on bounded <metric space>[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')\}.
$$

 Back to article page