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.
The pullback bundle is an illustration that connects the concept of a pullback as a precomposition, and the concept of a pullback as a Cartesian square.