Extensions of the category \(S\)-act (Q2058342): Difference between revisions

The authors define a new category \(SS-Act\) whose objects are \(S\)-acts, \(S\) a monoid, and whose morphisms are defined so that each set Hom\(_{SS-Act} (A, B)\) is an \(S\)-act. Remember that this is not the case for Hom\(_{S-Act} (A, B)\) if \(S\) is not commutative. Here Hom\(_{SS-Act} (A, B)=\mathrm{Hom}_{S-Act}(S \times A, B)\) with composition of \(u \in \mathrm{Hom}_{SS-Act} (A, B)\) and \(v\in \mathrm{Hom}_{SS-Act} (B,C)\) defined as \((u\cdot v)(s, a)=v(s, u(s, a))\) where \(s\in S , a \in A\), and the identity morphism \(e_A\in \mathrm{Hom}_{SS-Act} (A, A)\) defined as \(e_A (s, a) = a\). The authors prove that this category has a reflective subcategory naturally isomorphic to the category \(S -Act \). Various limits and colimits are studied. If \(S\) is a group, then the category \(SS-Act\) is a Grothendieck topos.