Pullback of a smooth function (source code)

= Pullback of a smooth function
{title2=$\phi^*f=f\circ\phi$}

A <pullback of a smooth function> composes a function on the target with a <smooth map between manifolds>, producing a function on the source. It needs no inverse map. Acting on the pulled-back function defines the <differential of a smooth map> intrinsically as a map of derivations.