Skip to main content
Source Link
Tim Campion
  • 64k
  • 13
  • 143
  • 384

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.

Post Made Community Wiki by Tim Campion