In mathematics, a bundle map (or bundle morphism) is a morphism in the category of fiber bundles. There are two distinct, but closely related, notions of bundle map, depending on whether the fiber bundles in question have a common base space. There are also several variations on the basic theme, depending on precisely which category of fiber bundles is under consideration. In the first three sections, we will consider general fiber bundles in the category of topological spaces. Then in the fourth section, some other examples will be given.
Let πE:E→ M and πF:F→ M be fiber bundles over a space M. Then a bundle map from E to F over M is a continuous map such that . That is, the diagram
should commute. Equivalently, for any point x in M, maps the fiber Ex = πE−1({x}) of E over x to the fiber Fx = πF−1({x}) of F over x.