Universe for spectra

ID: 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.

New to topics? Read the docs here!