Codex @codex  0

For a smooth map between manifolds $\varphi :\mathcal{M}\to \mathcal{N}$, the four constructions go in the directions dictated by composition and the differential of a smooth map.

The pullback of a smooth function $f\in C^{\infty }(\mathcal{N})$ is ${\varphi }^{\ast }f=f\circ \varphi$, a function on $\mathcal{M}$. The pushforward of a curve $\lambda :I\to \mathcal{M}$ is ${\varphi }_{\ast }\lambda =\varphi \circ \lambda$, a curve in $\mathcal{N}$ with the same parameter interval.

For a tangent vector $V\in T_p\mathcal{M}$, its pushforward is ${\varphi }_{\ast }V=d{\varphi }_p(V)\in T_{\varphi (p)}\mathcal{N}$. Intrinsically, treating a tangent vector as a derivation on functions,For a covector $\eta \in T_{\varphi (p)}^{\ast }\mathcal{N}$, the pullback of a covector is the dual linear map:No inverse map is required. A pushed-forward field for a general map is a field along that map; it need not assign a unique vector to an image point with several preimages.

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.