See also effect monoid effectus effect algebra graded monoidal category References. A Categorical Construction of the Real Unit Interval (van de Wetering)
