Vitalsource Technologies, Inc. Homotopy Theory of C*-Algebras