See also. symmetric strict monoidal category Topics. copy-discard category arrow notation Fox’s theorem tensor of monoidal categories exponential symmetric monoidal category