Answers are grounded in this paper and cite their sources.
We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite semigroup.
No takes yet. Share an insight, caveat, or question.
Gusev et al. (2023) studied this question.