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

Arthur J. Parzygnat

Given a representation of a C*-algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restrictio…