Galois theories of commutative semigroups via semilattices
Isabel A. Xarez, João J. Xarez · Theory and applications of categories · 2013
The classes of stably-vertical, normal, separable, inseparable, purely inseparable and covering morphisms, defined in categorical Galois theory, are characterized for the reflection of the variety of commutative semigroups into its subvariety of semilattices.It is also shown that there is an inseparable-separable factorization, but there is no monotone-light factorization.