From observables and states to Hilbert space and back: a 2-categorical adjunction (Q1633192)

Given a \(C^{\ast}\)-algebra \(\mathcal{A}\), a representation \(\pi:\mathcal{A}\rightarrow\mathcal{B}(\mathcal{H})\) on a Hilbert space \(\mathcal{H}\)\ and a unit vector \(\psi\in\mathcal{H}\), one gets a state on \(\mathcal{A}\) by \[ a\in\mathcal{A}\mapsto\langle\psi,\pi(a)\psi\rangle \] The principal objective in this paper is to show that the usual GNS (Gelfand-Naimark-Segal) construction is no other than a left adjoint to the above in the \(2\)-category \(\mathbf{Fun}\)(\(\mathbf{C}^{\ast}\)-\(\mathbf{Alg}^{op}\),\(\mathbf{Cat}\)) of functors from \(\mathbf{C}^{\ast}\)-\(\mathbf{Alg}^{op}\) to \(\mathbf{Cat}\) as objects, oplax-natural transformations as \(1\)-morphisms and modifications as \(2\)-morphisms.