Bundle

A bundle in a Category $\mathcal{C}$ over $B:\mathcal{C}$ is a pair of an object $E:\mathcal{C}$ and a morphism $E\to B$; EG: an object in the Slice Category $\mathcal{C}/B$.