  This paper addresses problems in functional metric geometry that arise in the
study of data such as signals recorded on geometric domains or on the nodes of
weighted networks. Datasets comprising such objects arise in many domains of
scientific and practical interest. For example, $f$ could represent a
functional magnetic resonance image, or the nodes of a social network labeled
with attributes or preferences, where the underlying metric structure is given
by the shortest path distance, commute distance, or diffusion distance.
Formally, these may be viewed as functions defined on metric spaces, sometimes
equipped with additional structure such as a probability measure, in which case
the domain is referred to as a metric-measure space, or simply $mm$-space. Our
primary goal is threefold: (i) to develop metrics that allow us to model and
quantify variation in functional data, possibly with distinct domains; (ii) to
investigate principled empirical estimations of these metrics; (iii) to
construct a universal function that ``contains'' all functions whose domains
and ranges are Polish (separable and complete metric) spaces, assuming
Lipschitz regularity. The latter is much in the spirit of constructing
universal spaces for structural data (metric spaces) whose investigation dates
back to the early 20th century and are of classical interest in metric
geometry.
