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 $𝖵 𝖾 𝖼 𝗍 𝕂$ . ↩