categories and K-theory