  This paper makes mathematically precise the idea that conditional
probabilities are analogous to path liftings in geometry.
  The idea of lifting is modelled in terms of the category-theoretic concept of
a lens, which can be interpreted as a consistent choice of arrow liftings. The
category we study is the one of probability measures over a given standard
Borel space, with morphisms given by the couplings, or transport plans.
  The geometrical picture is even more apparent once we equip the arrows of the
category with weights, which one can interpret as "lengths" or "costs", forming
a so-called weighted category, which unifies several concepts of category
theory and metric geometry.
  Indeed, we show that the weighted version of a lens is tightly connected to
the notion of submetry in geometry.
  Every weighted category gives rise to a pseudo-quasimetric space via
optimization over the arrows. In particular, Wasserstein spaces can be obtained
from the weighted categories of probability measures and their couplings, with
the weight of a coupling given by its cost.
  In this case, conditionals allow one to form weighted lenses, which one can
interpret as "lifting transport plans, while preserving their cost".
