We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $((S,T))$ playing the role of morphisms from $S$ to $T$. Applied ...