Clifford semigroups as functors and their cohomology. (Q766123)

Let \(\mathcal C\) be a category. The `diagram category' \(Dg(\mathcal C)\) has functors \(T\colon\Sigma\to\mathcal C\) where \(\Sigma\) is a small category as its objects and certain natural transformations as its morphisms. For a semilattice \(E\) regarded as a category, a functor \(F\colon E\to\mathbf{Grp}\) is called a `semilattice imbedding' if \(F\) is injective on objects. The categories \(\mathcal{SLO}\mathbf{Grp})\) and \(\mathcal{SLM}(\mathbf{Grp})\) are defined as certain subcategories of \(Dg(\mathcal C)\) having all semilattice imbeddings as their objects. It is proved that the category \(\mathcal{SLO}(\mathbf{Grp})\) (resp. \(\mathcal{SLM}(\mathbf{Grp})\)) is isomorphic to the category of Clifford semigroups and prehomomorphisms (resp. Clifford semigroups and homomorphisms). For a semilattice \(E\), denote by \(CI(E)\) the subcategory of commutative inverse semigroups having \(E\) as its semilattice of idempotents and the inverse semigroup homomorphisms that fix the elements of \(E\) as its morphisms. Then \(CI(E)\) is isomorphic to a subcategory of the category of right modules over a certain ring. The author also proves that the cohomology of the colimit \(G\) of the functor giving a commutative inverse monoid \(S\) with coefficients in some left \(\mathbb ZG\)-module \(M\) is the same as the cohomology of \(S\) with coefficients in a certain \(\mathbb ZS\)-module \(\mathbf J^*(M)\).