Exponential symmetric monoidal categoryLast updated Feb 3, 2024symmetric monoidal categoryFox’s theoremtensor of monoidal categories
