??so... for m a commutative monoid, a commutative monoid wrt "eckmann-hilton-day convolution" of m-sets is precisely a commutative monoid under m ... ???or something...

??and ... ???is also precisely ... ???an m-set such that its slice category is commutative monoidal "in a nice way" ... ???or something ??...