The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, center dot ,(-1)) by forgetting the inverse operation and retaining the two operations x(+) = xx(-1) and x* = x(-1) x. The subvariety B of strict restriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals B-2, B2M = B and B-0, B0M. Here, B-2 and B-0 are, respectively, generated by the five-element Brandt semigroup and that obtained by removing one of its nonidem patents. The other two varieties are their joins with the variety of all monoids. It is shown here that the interval B-2, 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 B-2, B and, with modification, to the interval B-0, B0M that lies below it. Further exploration may lead to applications in the reverse direction.
展开▼
