The construction of the pullback bundle can be carried out in subcategories of the category of topological spaces, such as the category of smooth manifolds.
Specifically, lower indices are covariant indices, and transform via pullbacks, while upper indices are contravariant, transforming under pushforwards.