{"id":"arxiv/2608.27292","url":"https://arxiv.org/abs/2608.27292","tags":["math.GR","math.CT"],"score":0,"title":"Kleisli convolution representations of power monoids","domain":"math.GR","source":"arxiv","authors":["Haicun Wen","Jian He","Yu-Zhe Liu"],"reviews":0,"subject":"math.GR","summary":"We show that power semigroups of groups, and more generally reduced finitary power monoids, arise naturally as convolution monoids in Kleisli categories of powerset monads: (1) for the non-empty powerset monad, the Kleisli Hom-space $\\mathrm{Hom}_{\\mathbf{Kl}(\\mathscr P_+)}(1,G)$ is isomorphic to the power monoid $\\mathcal P_+(G)$; (2) for the reduced finite powerset monad on pointed sets, the Kleisli Hom-space $\\mathrm{Hom}_{\\mathbf{Kl}(\\mathscr P_{\\mathrm{fin}})}$ $(\\mathbb Z/2\\mathbb Z,H)$ is isomorphic to the reduced finitary power monoid $\\mathcal P_{\\mathrm{fin},1}(H)$. This unifies…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-27","reactions":{}}