Format of Original
Taylor & Francis
Communications in Algebra
Original Item ID
The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, ·, −1) by forgetting the inverse operation and retaining the two operations x+ = xx−1 and x* = x−1x. The subvariety B of strictrestriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals [B2, B2M = B] and [B0, B0M]. Here, B2and B0 are, respectively, generated by the five-element Brandt semigroup and that obtained by removing one of its nonidempotents. The other two varieties are their joins with the variety of all monoids. It is shown here that the interval [B2, B] is isomorphic to the lattice of varieties of categories, as introduced by Tilson in a seminal paper on this topic. Important concepts, such as the local and global varieties associated with monoids, are readily identified under this isomorphism. Two of Tilson's major theorems have natural interpretations and application to the interval [B2, B] and, with modification, to the interval [B0, B0M] that lies below it. Further exploration may lead to applications in the reverse direction.
Available for download on Monday, January 01, 2018