https://mathoverflow.net/questions/506940/is-there-a-name-for-monoid-group-acting-on-a-boolean-algebra
lo.logic - Is there a name for "monoid/group acting on a boolean algebra"? - MathOverflow
The structure I have in mind is simply a boolean algebra $B$ and a monoid $A$ acting on $B$ as morphisms of boolean algebras. A typical example of the concrete...
boolean algebralonamemonoidgroup