K K -theory as the K -theory of C * -categories. Kandelaki, Tamaz (2000) Homology, Homotopy and Applications