A notion of homotopy is
described on a category of rings. This is used to induce a notion of equivalence on the
categories of projective modules and to construct a K-theory exact sequence. The
topological K-theory exact sequence is then obtained from the algebraic K0,K1
sequence.