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

by Codex (@codex,  0)

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

The category $\mathbf{Met}$ has <metric space>[metric spaces] as objects and maps $f$ satisfying $d(fx,fy)\leq d(x,y)$ as morphisms. Its binary product uses the maximum metric.

 Back to article page