  For given quantum (non-commutative) spaces $\mathbb{P}$ and $\mathbb{O}$ we
study the quantum space of maps $\mathbb{M}_{\mathbb{P},\mathbb{O}}$ from
$\mathbb{P}$ to $\mathbb{O}$. In case of finite quantum spaces these objects
turn out to be behind a large class of maps which generalize the classical
$\mathrm{qc}$-correlations known from quantum information theory to the setting
of quantum input and output sets. We prove a number of important functorial
properties of the mapping
$(\mathbb{P},\mathbb{O})\mapsto\mathbb{M}_{\mathbb{P},\mathbb{O}}$ and use them
to study various operator algebraic properties of the $\mathrm{C}^*$-algebras
$\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ such as the lifting
property and residual finite dimensionality. Inside
$\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ we construct a universal
operator system $\mathbb{S}_{\mathbb{P},\mathbb{O}}$ related to $\mathbb{P}$
and $\mathbb{O}$ and show, among other things, that the embedding
$\mathbb{S}_{\mathbb{P},\mathbb{O}}\subset\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$
is hyperrigid, $\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$ is the
$\mathrm{C}^*$-envelope of $\mathbb{S}_{\mathbb{P},\mathbb{O}}$ and that a
large class of non-signalling correlations on the quantum sets $\mathbb{P}$ and
$\mathbb{O}$ arise from states on
$\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})\otimes_{\rm{max}}\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$
as well as states on the commuting tensor product
$\mathbb{S}_{\mathbb{P},\mathbb{O}}\otimes_{\rm{c}}\mathbb{S}_{\mathbb{P},\mathbb{O}}$.
Finally we introduce and study the notion of a synchronous correlation with
quantum input and output sets, prove several characterizations of such
correlations and their relation to traces on
$\operatorname{C}(\mathbb{M}_{\mathbb{P},\mathbb{O}})$.
