The Isbell-hull of a di-space (Q429339)

Recall that a pair \((X,d)\) is called a \(T_0\)-quasi-metric space if \(X\) is a set and \(d: X\times X\to[0,\infty)\) is a mapping satisfyingNEWLINENEWLINE (i) \(d(x, x)= 0\) for each \(x\in X\);NEWLINENEWLINE (ii) \(d(x,z)\leq d(x,y)+ d(y,z)\) for any \(x,y,z\in X\); andNEWLINENEWLINE (iii) \(d(x,y)= 0= d(y,x)\) implies that \(x= y\).NEWLINENEWLINE A \(T_0\)-quasi-metric space \(M\) is said to be injective if it has the property that whenever \(X\) is a \(T_0\)-quasi-metric space, \(A\) is a subspace of \(X\), and \(f: A\to M\) is a nonexpansive map, then \(f\) can be extended to a nonexpansive map \(g: X\to M\). It is shown that, for every \(T_0\)-quasi-metric space \(X\), there exists a \(T_0\)-quasimetric space \(I(X)\) with the following properties:NEWLINENEWLINE (a) \(I(X)\) is injective:NEWLINENEWLINE (b) \(X\) is isometric to a subspace of \(I(X\)); andNEWLINENEWLINE (c) \(I(X)\) is minimal with respect to (a) and (b), i.e., whenever \(M\) is an injective \(T_0\)-quasi-metric space containing an isometric copy of \(X\), then \(M\) contains an isometric copy of \(I(X)\).NEWLINENEWLINE The construction of \(I(X)\) is similar to \textit{J. R. Isbell's} construction of the injective hull of a metric space \(X\) in [Comment. Alath. Helv. 39, 65--76 (1964; Zbl 0151.30205)] (which is also known as the tight span of \(X\) or as the hyperconvex hull of \(X\)).