Stinespring's construction as an adjunction

Arthur J. Parzygnat

Given a representation of a unital $C^{\ast }$-algebra $\mathcal{A}$ on a Hilbert space $\mathcal{H}$, together with a bounded linear map $V:\mathcal{K}\to \mathcal{H}$ from some other Hi…