Talk:Category of metric spaces
Mathematics Start‑class Low‑priority  

Warning: "weakness" (no coproduct, no left adjoint of forget and others: viz no sets inside or too many) are "cured" in bounded (by 1) metrics. I'll write that, but it's better to present first Ban the Banach unitary balls with short linear maps. (till now, Ban is linked only from here).
Of course, there is the excelent, but unusual, category using "extended real number line and allow the distance function d to attain the value ∞."
the following wasn't accepted (?!) in metric space. It will be explained here:
A logical analysis[edit]
 The fundamental metric concept is short map, the morphisms of the metric category (isomorphisms, i.e. bishort maps, are the isometries), but its usual expresion uses order and addition in positive reals so,
 1) It is obvious that :  x  x  y   = y is the same that x = 0 or y ≤ x, so distance in positive reals gives weak order there, strong order (y ≤ x iff ... ) is difficult, but possible, if we accept a solution of x  y  = y i.e. y = x / 2.
 2)  d(y, z)  d(y, z)  d´(f(y), f(z))   = d´(f(y), f(z))
is the same to say that f is a short map, without any reference to order in positive reals.
 Really? Doesn't the absolute value function refer to order?? After all, it essentially detects whether a given real number is ≥ 0. Revolver 28 June 2005 04:15 (UTC)
 3) The following equivalence of triangle inequality
  d(x, y)  d(x, z)  ≤ d(y, z) says,
without any reference to an operation in positive reals (x  y  is distance there), that d(x, ) is a short map. d: x  > d(x,) is an isometry.
 Joined together :  d(y, z)  d(y, z)   d(x, y)  d(x, z)    =  d(x, y)  d(x, z)  is triangle inequality.
 slight change and :  d(y, z)  d(z, y)   d(x, y)  d(x, z)    =  d(x, y)  d(x, z)  is triangle inequality and simmetry (make z = x and use  x  d(y, y) = x).
Exactly as an Auto magma object can be defined in Mag we wont to define an Auto metric object in Met
magma operation: XxX > X
usual way metric: XxX > R_{+} (wrong!)
But take a arbitrary but fixed form d_{a}: x > d(a,x) and add it to all bounded X > R_{+} this will be R_{+}^{X} with the supreme metric. (The same that the bounded metric given by the supreme norm).
This gives metric as (isometric image) d: X > R_{+}^{X}.
Now any d_{x} is a short map : X > R_{+} because this is exactly (equivalent to) triangle inequality, so visible in Met.
But R_{+} is metric so we have ..: R_{+} > R_{+}^{R+} and x.: R_{+} > R_{+} as before (A logical analysis) but not medial: x  y is medial, x v y is medial but not (xy) v (yx)!
other morphisms[edit]
What if you want distancepreserving maps as morphisms? You need this category, e.g. when talking about metric completions, I believe.