Categories of vector spaces and Grassmannians
arXiv:1711.03059
Abstract
We construct a new category of vector spaces which contains both the standard category of vector spaces and Grassmannians. Its space of objects classifies vector bundles, its space of morphisms classifies bundle isomorphisms, and it can be delooped to obtain the topological -theory spectrum.
44 pages