Identities with derivations and automorphisms on semiprime rings.
We show that a homomorphism of algebras is a categorical epimorphism if and only if all induced morphisms of the associated module varieties are immersions. This enables us to classify all minimal singularities in the subvarieties of modules from homogeneous standard tubes.