Is there a low-tech proof that braided monoidal categories are the same as doubly monoidal categories? It seems to me that, in a doubly monoidal category, you get a natural isomorphism between the two monidal products, but not canonically so. So there is an extra choice of taking the isomorphism clockwise or counterclockwise, independent of the braiding. Isn't that more data?
=> More informations about this toot | View the thread | More toots from trebor@types.pl
text/geminiThis content has been proxied by September (3851b).