Parallel transport

A very flexible construction aimed to represent a family of similar objects (fibres or fibers, depending on the preferred spelling) which are parametrized by the index set which itself has an additional structure (topological space, smooth manifold etc.).

The most known examples are the tangent and cotangent bundles of a smooth manifold.

Formal definition of a topological bundle

Let $\pi:E\to B$ be a continuous map between topological spaces, called the total space and the base, and $F$ yet another topological space called fiber, such that the preimage $F_b=\p^{-1}(b)\subset E$ of every point of the base is homeomorphic to $X$. The latter condition means that $E$ is the disjoint union of "fibers", $E=\bigsqcup_{b\in B} F_b$ homeomorphic to each other.

The map $\pi$ is called fibration of $E$ over $B$, if the above representation is locally trivial: any point of the base admits an open neighborhood $U$ such that the restriction of $\pi$ on the preimage $\pi^{-1}(U)$ is topologically equivalent to the Cartesian projection $\pi_2$ of the product $F\times U$ on the second component: $\pi_2(v,b)=b$. Formally this means that there exists a homeomorhism $H_U=H:\pi^{-1}(U)\to F\times U$ such that $\pi=\pi_2\circ H$.