11 Dec
2019
11 Dec
'19
6:29 a.m.
Hi all, I have half convinced myself (without checking details) that if I have a braided monoidal category (C,@), then the monoidal product @: C x C --> C is strong monoidal. Is this true? What's a reference for this I could point to? Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]