It is standard that every Borel probability measure on a polish space $X$ can be obtained as pushforward of the uniform measure $\lambda$ on $[0,1]$ along an almost-everywhere-defined Borel-measurable function $d: [0,1] \to X$ . (In fact, $d$ can always be taken to be continuous on a measure-$1$ $G\_\delta$ subset. But this is not important for what follows.) My question is whether there is a "conditional" version of this result, along the following lines. I first formulate this below as a precise question, and then discuss possible variations.


I shall state the question as a property of the category whose objects are polish probability spaces (i.e., a polish space together with a Borel probability measure) and whose maps are almost-everywhere-defined measure-preserving Borel-measurable functions modulo almost-everywhere equality. Note that, in terms of this category, the fact stated at the start asserts that $[0,1]$ (with $\lambda$ as its probability measure) is a *weakly initial object* (i.e., there exists at least one map from $[0,1]$ to every object $X$.) 


**Precise question.** Given a map $f: X \to Y$, does there exist a map $e : Y \times [0,1] \to X$ such that $f \circ e = \pi\_1$ (where $\pi\_1$ is first projection)? (Here, $Y \times [0,1]$ is the topological product with product Borel measure.) 


**Remarks and variations** 


1. This is a conditional version of the initial fact in the following sense. Given such an $e$, the function mapping $y \in Y$ to the pushforward of $\lambda$ along $e(y,-): [0,1] \to X$ is a disintegration of $f$, thus giving conditional probability measures $P(-|f(x) = y)$.
2. Category-theoretically, the question asks if every projection $\pi\_1: Y \times [0,1] \to Y$ is a weakly initial object in the slice category over $Y$.
3. For the application I have in mind, a weaker result would suffice. It is enough for there to exist $d: [0,1] \to Y$ and $e:[0,1] \times [0,1] \to X$ such that $f \circ e = d \circ \pi\_1$.
4. I am not that fussy about the precise choice of category. One might, e.g., generalise to analytic or standard probability spaces. In general, I'm interested in pointers to any result at all that is similar in nature to the one discussed.



Obtaining conditional probabilities as pushforwards of [0,1]
It follows from a classification of morphisms in this category due to Rokhlin. If both the target space and all the conditional measures are purely non-atomic, then this map is (mod 0) just the coordinate projection of the unit square (endowed with the Lebesgue measure). If any of these measures has atoms, then it is essentially the same description with obvious modifications.


