1: \begin{abstract}

2:   \noindent The Kantorovich-Rubinshte\u\i n metric is an $L^1$-like

3:   metric on spaces of probability distributions that enjoys several

4:   serendipitous properties.  It is complete separable if the

5:   underlying metric space of points is complete separable, and in that

6:   case it metrizes the weak topology.  We introduce a variant of that

7:   construction in the realm of quasi-metric spaces, and prove that it

8:   is algebraic Yoneda-complete as soon as the underlying quasi-metric

9:   space of points is algebraic Yoneda-complete, and that the

10:   associated topology is the weak topology.  We do this not only for

11:   probability distributions, represented as normalized continuous

12:   valuations, but also for subprobability distributions, for various

13:   hyperspaces, and in general for different brands of functionals.

14:   Those functionals model probabilistic choice, angelic and demonic

15:   non-deterministic choice, and their combinations.  The mathematics

16:   needed for those results are more demanding than in the simpler case

17:   of metric spaces.  To obtain our results, we prove a few other

18:   results that have independent interest, notably: continuous

19:   Yoneda-complete spaces are consonant; on a continuous

20:   Yoneda-complete space, the Scott topology on the space of

21:   $\creal$-valued lower semicontinuous maps coincides with the

22:   compact-open and Isbell topologies, and the subspace topology on

23:   spaces of $\alpha$-Lipschitz continuous maps also coincides with the

24:   topology of pointwise convergence, and is stably compact; we

25:   introduce and study the so-called Lipschitz-regular quasi-metric

26:   spaces, and we show that the formal ball functor induces a

27:   Kock-Z\"oberlein monad, of which all algebras are Lipschitz-regular;

28:   and we prove a minimax theorem where one of the spaces is not

29:   compact Hausdorff, but merely compact.

30: \end{abstract}

31: