On a stronger reconstruction notion for monoids and clones (Q2121508)

Motivated by one of the central reconstruction results by \textit{M. Rubin} [Proc. Lond. Math. Soc. (3) 69, No. 2, 225--249 (1994; Zbl 0799.03037)], the authors introduce a new reconstruction notion, called automatic action compatibility, which is stronger than automatic homeomorphicity [\textit{M. Bodirsky} et al., Trans. Am. Math. Soc. 369, No. 5, 3707--3740 (2017; Zbl 1377.03021)]. It is required that any abstract algebraic isomorphism from a permutation group, transformation monoid or clone to another such a structure from a given class, having an equipotent carrier, respects the action. The authors show how to lift automatic action compatibility from groups to monoids and then to clones, subject to certain assumptions. As a consequence they obtain some interesting automatic action compatibility results for monoids and clones.