Negative $K$-theory, NK and Nil Higher algebraic K-theory mathematics