1: \begin{abstract}
2: We introduce a bivariant version of the Cuntz
3: semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many
4: properties formally analogous to KK-theory including a composition product.
5: We establish basic properties, like additivity, stability and continuity,
6: and study categorical aspects in the setting of local \Cs-algebras.
7: We determine the bivariant Cuntz semigroup for numerous examples such as when the second algebra is a Kirchberg algebra, and Cuntz homology for compact
8: Hausdorff spaces which provides a complete invariant.
9: Moreover, we establish identities when tensoring with strongly
10: self-absorbing \Cs-algebras. Finally, we show
11: that the bivariant Cuntz semigroup of the present work can be used to classify
12: all unital and stably finite \Cs-algebras.
13:
14:
15:
16: \end{abstract}
17: