Epimorphisms and pseudovarietiesFor each of the following conditions, we characterize the pseudovarieties of semigroups V that satisfy it: (i) every epimorphism to a member of V is onto; (ii) every epimorphism to a finite semigroup with domain a member of V is onto; (iii) for every epimorphism from S to T with S in V and T finite, T is also a member of V.
arXiv.org