Category of vector bundles

The category of vector bundles over , denoted ,¹ is a category where an object is a vector bundle over and a morphism is a vector bundle morphism. #m/def/topology

Closed monoidal structure

#todo

There is a forgetful inclusion into .

#state/tidy | #lang/en | #SemBr

If is clear from context we instead denote the category by . There should be no risk of confusing this with ordinary . ↩