Effect Monoid

Last updated Feb 3, 2024

Effect monoids are monoids on the category of effect algebras.