category of pseudo-metric spaces with non-expansive maps

 analysis
Notation PMet\PMet Objects pseudo-metric spaces Morphisms non-expansive maps ff (also called short maps or 11-Lipschitz maps), meaning d(f(x),f(y))≤d(x,y)d(f(x),f(y)) \leq d(x,y) for all x,yx,y Related Met\Met
In contrast to metric spaces, we do not demand d(x,y)=0  ⟹  x=yd(x,y)=0 \implies x=y here.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

There are 5 properties for which the database has no information on whether they are satisfied. Please help us fill in the gaps by contributing to this project.

Special objects

  • terminal object: singleton space
  • initial object: empty pseudo-metric space
  • products: [finite case] direct products with the pseudo-metric d(x,y)=sup⁡idi(xi,yi)d(x,y) = \sup_i d_i(x_i,y_i)

Special morphisms

  • isomorphisms: bijective isometries
  • monomorphisms: injective non-expansive maps
  • epimorphisms: surjective non-expansive maps
  • regular monomorphisms: injective isometric maps
  • regular epimorphisms: surjective non-expansive maps f:X→Yf : X \to Y with the property that for all x,x′∈Xx,x' \in X, d(f(x),f(x′))d(f(x),f(x')) is the infimum of the sums ∑i=0n−1d(yi,xi+1)\sum_{i=0}^{n-1} d(y_i,x_{i+1}), where x=x0x=x_0, xi∼yix_i \sim y_i for 0≤i≤n0 \leq i \leq n, and yn=x′y_n = x'.