 Pullback of a smooth function

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.