This article needs additional citations for verification. (March 2014)
Precomposition with a function probably provides the most elementary notion of pullback: in simple terms, a function of a variable where itself is a function of another variable may be written as a function of This is the pullback of by the function
It is such a fundamental process that it is often passed over without mention.
The pullback bundle is an example that bridges the notion of a pullback as precomposition, and the notion of a pullback as a Cartesian square. In that example, the base space of a fiber bundle is pulled back, in the sense of precomposition, above. The fibers then travel along with the points in the base space at which they are anchored: the resulting new pullback bundle looks locally like a Cartesian product of the new base space, and the (unchanged) fiber. The pullback bundle then has two projections: one to the base space, the other to the fiber; the product of the two becomes coherent when treated as a fiber product.
Generalizations and category theory
The notion of pullback as a fiber-product ultimately leads to the very general idea of a categorical pullback, but it has important special cases: inverse image (and pullback) sheaves in algebraic geometry, and pullback bundles in algebraic topology and differential geometry.
When the pullback is studied as an operator acting on function spaces, it becomes a linear operator, and is known as the transpose or composition operator. Its adjoint is the push-forward, or, in the context of functional analysis, the transfer operator.
The relation between the two notions of pullback can perhaps best be illustrated by sections of fiber bundles: if is a section of a fiber bundle over and then the pullback (precomposition) of s with is a section of the pullback (fiber-product) bundle over
- Inverse image functor – functor between categories of Abelian-group-valued sheaves induced by a continuous map between topological spaces; sheafification of the presheaf associating to an open set U the inductive limit of the groups associated to open supersets of U’s image