1: \begin{abstract}

2:     Nonnegative cross-curvature (NNCC) is a geometric property of a cost function defined on a product space that originates in optimal transportation and the Ma--Trudinger--Wang theory. 

3:     Motivated by applications in optimization, gradient flows and mechanism design,

4:     we propose a variational formulation of nonnegative cross-curvature on c-convex domains

5:     applicable to infinite dimensions and nonsmooth settings.

6:     The resulting class of NNCC spaces is closed under Gromov--Hausdorff convergence and for this class, we extend many properties of classical nonnegative cross-curvature: 

7:     stability under generalized Riemannian submersions, 

8:     characterization in terms of the convexity of certain sets of c-concave functions, 

9:     and in the metric case, it is a subclass of positively curved spaces in the sense of Alexandrov.     

10:     One of our main results is that Wasserstein spaces of probability measures inherit the NNCC property from their base space. 

11:     Additional examples of NNCC costs include the Bures--Wasserstein and Fisher--Rao squared distances, the Hellinger--Kantorovich squared distance (in some cases), the relative entropy on probability measures, and the $2$-Gromov--Wasserstein squared distance on metric measure spaces. 

12: \end{abstract}

13: