The topic of K-theory spans the subjects of algebraic topology, abstract algebra and some areas of application like operator algebras and algebraic geometry. It leads to the construction of families of K-functors, which contain useful but often hard-to-compute information.

The subject takes its name from a particular construction applied by Alexander Grothendieck in his proof of the Riemann-Roch theorem. In it, a commutative monoid of sheaves of abelian groups under direct sum was converted into a group, by the formal addition of inverses (an explicit way of explaining a left adjoint). This construction was taken up by Atiyah and Hirzebruch to define K(X) for a topological space X, by means on the analogous sum construction for vector bundles. This was the basis of the first of the extraordinary cohomology theories of algebraic topology. It played a big role in the proof around 1962 of the Index Theorem.

In turn, Jean-Pierre Serre used the analogy of vector bundles with projective modules to found in 1959 what became algebraic K-theory. He made Serre's conjecture, that projective modules over the ring of polynomials over a field are free modules; this resisted proof for 20 years.

There followed a period in which there were various partial definitions of higher K-functors; until a comprehensive definition was given by Daniel Quillen using homotopy theory.

The corresponding constructions involving an auxiliary quadratic form receive the general name L-theory.

See also Swan's theorem.