$K$-theory and homology; cyclic homology and cohomology Higher algebraic K-theory mathematics