nLab
K-theory spectrum

Context

Stable Homotopy theory

Higher algebra

Idea

The K-theory spectrum in the strict sense is the spectrum that represents the generalized (Eilenberg-Steenrod) cohomology theory topological K-theory. For complex topological K-theory this is periodic with period 2 (reflect Bott periodicity) of the form

×BU,U,.\mathbb{Z} \times B U ,\; U ,\; \cdots \,.

More generally, to every stable (infinity,1)-category C is associated a K-theory space which in good cases, such as when the category is presented by a Waldhausen category is the degree 0 piece of a corresponding algebraic K-theory spectrum. The detailed construction is known as the Waldhausen S-construction.