Left restriction semigroups have appeared at the convergence of several flows of research, including the theories of abstract semigroups, of partial mappings, of closure operations and even in logic. For instance, they model unary semigroups of partial mappings on a set, where the unary operation takes a map to the identity map on its domain. This perspective leads naturally to dual and two-sid...

The five-element Brandt semigroup B2 and its four-element subsemigroup B0, obtained by omitting one nonidempotent, have played key roles in the study of varieties of semigroups. Regarded in that fashion, they have long been known to be finitely based. The semigroup B2 carries the natural structure of an inverse semigroup. Regarded as such, in the signature {·,−1 }, it is also finitely based. It...

Proper extensions that are “injective on L-related idempotents” of R-unipotent semigroups, and much more generally of the class of generalised left restriction semigroups possessing the ample and congruence conditions, referred to here as glrac semigroups, are described as certain subalgebras of a λ-semidirect product of a left regular band by an R-unipotent or by a glrac semigroup, respectivel...

the aim of this paper is to study semigroups possessing $e$-regular elements, where an element $a$ of a semigroup $s$ is {em $e$-regular} if $a$ has an inverse $a^circ$ such that $aa^circ,a^circ a$ lie in $ esubseteq e(s)$. where $s$ possesses `enough' (in a precisely defined way) $e$-regular elements, analogues of green's lemmas and even of green's theorem hold, where green's relations $mbox{$...

Ehresmann semigroups may be viewed as biunary equipped with domain and range operations satisfying some equational laws. Motivated by of the main examples, we here define ordered semigroups, consider their basic properties well special cases in which order is algebraically definable. In particular, one two-sided restriction natural orders are characterized within class semigroups. The result an...

The left restriction semigroups have arisen in a number of contexts, one being as the abstract characterization of semigroups of partial maps, another as the ‘weakly left E-ample’ semigroups of the ‘York school’, and, more recently as a variety of unary semigroups defined by a set of simple identities. We initiate a study of the lattice of varieties of such semigroups and, in parallel, of their...

The Ehresmann-Schein-Nambooripad (ESN) Theorem, stating that the category of inverse semigroups and morphisms is isomorphic to the category of inductive groupoids and inductive functors, is a powerful tool in the study of inverse semigroups. Armstrong and Lawson have successively extended the ESN Theorem to the classes of ample, weakly ample and weakly E-ample semigroups. A semigroup in any of ...

Inverse semigroups form a variety of unary semigroups, that is, semigroups equipped with an additional unary operation, in this case a 7→ a−1. The theory of inverse semigroups is perhaps the best developed within semigroup theory, and relies on two factors: an inverse semigroup S is regular, and has semilattice of idempotents. Three major approaches to the structure of inverse semigroups have e...

Restriction for Semigroups and Categories First afternoon talk of Calgary workshop Ernie Manes, June 2, 2006 This handout includes axiom systems useful for the talk, a very small set of definitions in category theory and a 12-step program to help semigroup theorists who have never studied category theory to get up to speed. The references at the end will be mentioned in the talk. Slogan: In the...