Pullback of a smooth function (${\varphi }^{\ast }f=f\circ \varphi$)

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.