The Beilinson bundles U^a will be represented by subbundles.
The object SubBundle is a symbol.
The source of this document is in TateOnProducts.m2:5665:0.