??pro-monoidal category ... discrete with 2 objects 1, x ... "x tensor x = 0" ... ?? ....

1 # 1 -> 1

1 # x -> x

x # 1 -> x

????? commutative monoid ... ??? ew action ... ???? ...

??????????.....?????


???quadratic operad ... ????....