Universe for spectra
= Universe for spectra
A <universe for spectra> is a countably infinite-dimensional real <inner product space>, normally with its direct-limit topology, used to index finite-dimensional suspension coordinates. A cofinal indexing family contains arbitrarily large finite-dimensional subspaces.