Left reductive regular semigroups

Abstract: In this paper, we develop an ideal structure theory for the class of left reductive regular semigroups and apply it to several subclasses of popular interest. In these classes, we observe that the right ideal structure of the semigroup is `embedded' inside the left ideal one, and so we can construct these semigroups starting with only one object (unlike in other more general cases). To this end, we introduce an upgraded version of the Nambooripad's normal category \cite{cross} as our building block, which we call a \emph{connected category}. The main theorem of the paper describes a category equivalence between the category of left reductive regular semigroups and the category of {connected categories}. Then, we specialise our result to describe constructions of $\gl$-unipotent semigroups, right regular bands, inverse semigroups and arbitrary regular monoids. Exploiting the left-right duality of semigroups, we also construct right reductive regular semigroups and use that to describe the more particular subclasses of $\gr$-unipotent semigroups and left regular bands. Finally, we provide concrete (and rather simple) descriptions to the connected categories that arise from finite transformation semigroups, linear transformation semigroups (over a finite dimensional vector space) and symmetric inverse monoids.