Graph explorer

Standard Vector Bundles

We construct the categories of standard vector bundles over schemes and define direct sum and tensor product. These categories are equivalent to the usual categories of vector bundles with additional properties. The tensor product is strictly associative, strictly commutative with line bundles, and strictly functorial on base change.