I probably should have read more closely. If $C$ is any monoidal category which is also cartesian monoidal, then the combination of the two monoidal structures is duoidal. This is on the nlab page.
Tim Campion
- 64k
- 13
- 143
- 384