A prometric on a set $X$ is a family $G$ of functions $d:X\times X\to [0,\infty)$ such that
$G$ is a $\ge$-filter, i.e.
For every $d\in G$ and $x\in X$, we have $d(x,x)=0$.
For any $d\in G$ there exists an $e\in G$ such that for all $x,y,z\in X$ we have
For every $d\in G$, there is an $e\in G$ with $d(x,y)\le e(y,x)$ for all $x,y\in X$.
If we drop the final condition, we obtain a quasi-prometric. We can also consider extended prometrics in which the $d$ can take the value $\infty$.
A base for a prometric is a collection satisfying all these axioms except $\le$-closure; the $\le$-closure of a prometric base is a prometric. Any single pseudometric, and in fact any gauge, constitutes a base for a prometric.
Of course a prometric space is a space equipped with a prometric, and likewise for a quasi-prometric space.
A short map between prometric spaces $X$ and $Y$ is a function $f:X\to Y$ such that for every $d\in G_Y$, we have $d\circ (f\times f) \in G_X$. We write $ProMet$ for the category of prometric spaces and short maps.
If the prometrics of $X$ and $Y$ are presented by bases, then this is equivalent to saying that for any basic $d$ on $Y$, there is a basic $e$ on $X$ such that $d(f(x),f(x'))\le e(x,x')$ for all $x,x'\in X$. Thus, for metric spaces and gauge spaces considered as prometric spaces, this reduces to the usual notion of short map (i.e. distance-decreasing map). Hence the category $Gau$ of gauge spaces and short maps is included as a full subcategory of $ProMet$.
Since $Gau$ includes the categories of metric spaces and uniform spaces (disjointly), so does $ProMet$. Likewise, since $QGau$ includes the category of topological spaces (disjointly from metric and uniform spaces), so does $QProMet$.
There is also another embedding of $Unif$ into $ProMet$, however, which is notably simpler than its embedding into $Gau$. Given a uniform space $X$, we define for each entourage $U\subseteq X\times X$ a distance function
The collection of such $d_U$ is a base for a prometric on $X$. The short maps between such prometric spaces are precisely the uniformly continuous ones, so this defines another embedding of $Unif$ into $ProMet$. The full image of this embedding consists precisely of those prometric spaces generated by a base of $\{0,1\}$-valued functions. Note that replacing $1$ by any other positive real number defines a different embedding of $Unif$ into $ProMet$.
Conversely, every prometric induces a uniformity, where the entourages are the sets
In this way every short map induces a uniformly continuous map as well. This operation is compatible with the above inclusion of $Unif$, as well as with the inclusion of $Gau$.
As observed by Lawvere, an (extended quasi pseudo) metric space is a category enriched over $([0,\infty],\ge,+,0)$. In other words, it is a monoid (or monad) in the bicategory $[0,\infty] Mat$ of matrices with values in this monoidal category. Analogously, an (extended quasi) prometric space is a monoid in the bicategory $Pro [0,\infty] Mat$ whose hom-categories are the categories of pro-objects in the hom-categories of $[0,\infty] Mat$.
Note that if $Rel = \{0,1\} Mat$ denotes the bicategory of relations in $Set$, then a monoid in $Rel$ is a preorder, while a monoid in $ProSet$ is a (quasi) uniform space.
In all these cases, in order to recover the correct notion of morphism abstractly, we must consider monoids in a double category or equipment rather than merely a bicategory.
Generalized uniform structures