It looks like Fritz addressed this a while ago. It is $\mathcal{G_fin}$-algebra shown under Definition 3.3.
Ben Sprott
- 1.3k
- 14
- 23