The three types of normal sequential effect algebras

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product $(a,b)\mapsto \sqrt{a}b\sqrt{a}$ on C*-algebras…