# Pullback

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Pullback
> Markdown URL: https://mediated.wiki/source/Pullback.md
> Source: https://en.wikipedia.org/wiki/Pullback
> Source revision: 1355649827
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

Process in mathematics

This article is about the uses of the term "pullback" in mathematics. For other uses, see [Pull back (disambiguation)](/source/Pull_back_(disambiguation)).

This article needs more citations. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Pullback" – news · newspapers · books · scholar · JSTOR (November 2025) (Learn how and when to remove this message)

In [mathematics](/source/Mathematics), a **pullback** is either of two related processes: precomposition and fiber-product; precomposition is a special case of the general fiber-product.[1] Its dual is a [pushforward](/source/Pushforward_(disambiguation)).

## Precomposition

Precomposition with a [function](/source/Function_(mathematics)) probably provides the most elementary notion of pullback: in simple terms, a function f {\displaystyle f} of a variable y , {\displaystyle y,} where y {\displaystyle y} itself is a function of another variable x , {\displaystyle x,} may be written as a function of x . {\displaystyle x.} This is the pullback of f {\displaystyle f} by the function y . {\displaystyle y.} f ( y ( x ) ) ≡ g ( x ) {\displaystyle f(y(x))\equiv g(x)} It is such a fundamental process that it is often passed over without mention.

However, it is not just functions that can be "pulled back" in this sense. Pullbacks can be applied to many other objects such as [differential forms](/source/Differential_forms) and their [cohomology classes](/source/De_Rham_cohomology); see

- [Pullback (differential geometry)](/source/Pullback_(differential_geometry))

- [Pullback (cohomology)](/source/Pullback_(cohomology))

## Fiber-product

Main article: [Pullback bundle](/source/Pullback_bundle)

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](/source/Pullback_(category_theory)). In that example, the base space of a [fiber bundle](/source/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](/source/Fiber_product).

### Generalizations and category theory

The notion of pullback as a fiber-product ultimately leads to the very general idea of a [categorical](/source/Category_theory) pullback, but it has important special cases: inverse image (and pullback) sheaves in [algebraic geometry](/source/Algebraic_geometry), and [pullback bundles](/source/Pullback_bundle) in [algebraic topology](/source/Algebraic_topology) and differential geometry.

## Functional analysis

See also: [Transpose of a linear map](/source/Transpose_of_a_linear_map)

When the pullback is studied as an operator acting on [function spaces](/source/Function_space), it becomes a [linear operator](/source/Linear_operator), and is known as the [transpose](/source/Transpose_of_a_linear_map) or [composition operator](/source/Composition_operator). Its adjoint is the push-forward, or, in the context of [functional analysis](/source/Functional_analysis), the [transfer operator](/source/Transfer_operator).

## Relationship

The relation between the two notions of pullback can perhaps best be illustrated by [sections](/source/Section_(fiber_bundle)) of fiber bundles: if s {\displaystyle s} is a section of a fiber bundle E {\displaystyle E} over N , {\displaystyle N,} and f : M → N , {\displaystyle f:M\to N,} then the pullback (precomposition) f ∗ s = s ∘ f {\displaystyle f^{*}s=s\circ f} of *s* with f {\displaystyle f} is a section of the pullback (fiber-product) bundle f ∗ E {\displaystyle f^{*}E} over M . {\displaystyle M.}

## See also

- [Inverse image functor](/source/Inverse_image_functor) – Construction in algebraic topology

- [Pullback (category theory)](/source/Pullback_(category_theory))

- [Fibred category](/source/Fibred_category)

- [Inverse image sheaf](/source/Inverse_image_sheaf)

## References

1. **[^](#cite_ref-7sketches_1-0)** Fong, Brendan; [Spivak, David](/source/David_Spivak) (18 July 2019). [*An Invitation to Applied Category Theory: Seven Sketches in Compositionality*](https://web.archive.org/web/20220315151140/http://www.dspivak.net/7sketches.pdf) (PDF). [Cambridge University Press](/source/Cambridge_University_Press). pp. 112–113. [arXiv](/source/ArXiv_(identifier)):[1803.05316](https://arxiv.org/abs/1803.05316). [ISBN](/source/ISBN_(identifier)) [978-1108711821](https://en.wikipedia.org/wiki/Special:BookSources/978-1108711821). Archived from [the original](https://dspivak.net/7sketches.pdf) (PDF) on 15 March 2022.

---
Adapted from the Wikipedia article [Pullback](https://en.wikipedia.org/wiki/Pullback) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Pullback?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.