Let $M$ be a connected compact smooth manifold. The assignment $E \mapsto \Gamma(M,E)$ gives an equivalence between the category of smooth real vector bundles over $M$ and the category of finitely generated projective $C^\infty(M)$-modules. Bundle maps correspond to $C^\infty(M)$-linear module homomorphisms between their modules of sections.