"Classical" algebraic K-theory, and connections with arithmetic | lit.salon