Algebraic K-theory and motivic cohomology are strongly related tools providing a systematic way of producing invariants for algebraic or geometric structures. The definition and methods are taken from algebraic topology, ...