Given a unital C*-algebra
The appropriate morphisms between operator systems are completely positive maps.
By a theorem of Choi and Effros, operator systems can be characterized as *-vector spaces equipped with an Archimedean matrix order.