  Algebraic K-theory is the stable homotopy theory of homotopy theories, and it
interacts with algebraic structures accordingly. In particular, we prove the
Deligne Conjecture for algebraic K-theory.
