Document Type




Format of Original

20 p.

Publication Date



Taylor & Francis

Source Publication

Communications in Algebra

Source ISSN


Original Item ID

DOI: 10.1080/00927872.2016.1175457


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.


Accepted version. Communications in Algebra, Vol. 45, No. 3 (2017): 1037-1056. DOI. © 2017 Taylor & Francis. Used with permission.