Transport map (source code)

= Transport map
{title2=$T$}

A transport map from $\mu$ to $\nu$ is a <measurable function> $T$ satisfying $T_\#\mu=\nu$. Its graph defines the <transport plan> $(\operatorname{Id},T)_\#\mu$.