1: \begin{abstract}

2: We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let $G$ be a compact quantum group, and let $\mathcal{T}:= \Rep(G)$ be the rigid $C^*$-tensor category of finite-dimensional continuous unitary representations of $G$. Let $\Mod(\mathcal{T})$ be the rigid $C^*$-2-category of cofinite semisimple finitely decomposable $\mathcal{T}$-module categories. We show that finite-dimensional $G$-$C^*$-algebras can be identified with equivalence classes of 1-morphisms out of the object $\mathcal{T}$ in $\Mod(\mathcal{T})$. For 1-morphisms $X: \mathcal{T} \to \mathcal{M}_1$, $Y: \mathcal{T} \to \mathcal{M}_2$, we show that covariant completely positive maps between the corresponding $G$-$C^*$-algebras can be `dilated' to isometries $\tau: X \to Y \otimes E$, where $E: \mathcal{M}_2 \to \mathcal{M}_1$ is some `environment' 1-morphism. Dilations are unique up to partial isometry on the environment; in particular, the dilation minimising the quantum dimension of the environment is unique up to a unitary. When $G$ is a compact group this recovers previous covariant Stinespring-type theorems.

3: \end{abstract}

4: