The locality of some subpseudovarieties of DG
The global of a pseudovariety of monoids is the pseudovariety of
categories generated by its elements when they are viewed as the
monoids of edges in one-vertex categories. The global of a
pseudovariety of monoids is useful to compute various
operators involving the pseudovariety.
When the global of the pseudovariety is characterized by
properties of the local submonoids of its categories,
the pseudovariety is said to be local. Using syntactic arguments, we prove that some subpseudovarieties of DG, the pseudovariety of all finite monoids whose D-classes are groups, are local.
Areas of interest
Ana Escada (CMUC/Mat. FCTUC)
March 27, 2007