Kleisli convolution representations of power monoids

Haicun Wen, Jian He, Yu-Zhe Liu

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…