T-Classification of Regular Semigroups

On any regular semigroup S, the least group congruence σ, the greatest idempotent separating congruence μ and the least band congruence β are used to give the T-classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K- and T-relations on C(S) to Λ. Such triples are characterized abstractly and form the objects of a category T whose morphisms are surjective K-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category T whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from T to T. The effect of the T-classification to P-semigroups is considered in some detail.