1: \begin{abstract}
2: We review the notions of a multiplier category and the $W^{*}$-envelope of a $C^{*}$-category. We then consider
3: the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct reduced crossed products of $C^{*}$-categories with groups. We axiomatize the basic properties of the $K$-theory for $C^{*}$-categories
4: in the notion of a homological functor. We then study various rigidity properties of homological functors in general, and special additional features of the $K$-theory of $C^{*}$-categories.
5: As an application we construct and study interesting functors on the orbit category of a group from $C^{*}$-categorical data.
6: %
7: %
8: %
9: %notion of a homological functor for $C^{*}$-categories and show that topological $K$-theory for $C^{*}$-categories is an example. \Alex{Furthermore, we} show that this $K$-theory functor preserves \Alex{(possibly infinite)} products and is Morita invariant. \Alex{Finally, we provide a generalization of the Davis--Lück functor for topological $K$-theory from trivial coefficients $\IC$ to coefficients in an arbitrary unital $C^{*}$-algebra $A$ with $G$-action.}
10: \end{abstract}
11: