That seems to work. Nice example!
]]>It’s a good question. Does it work to take a symmetric monoidal category and look at strong symmetric monoidal endofunctors on that?
]]>What are examples of rig categories which
I cannot seem to come up with an example myself except very artificial ones (such as taking a distributive monoidal category and removing some arrows). I’m sure there’s quite some though, can anyone help?
]]>