An abstract characterization for projections in operator systems

Roy Araiza, Travis Russell

We show that the set of projections in an operator system can be detected using only the abstract data of the operator system. Specifically, we show that if $p$ is a positive contr…