A *symmetric monoidal natural transformation* is a natural transformation between symmetric monoidal functors that respects the symmetric monoidal structure.

In fact, a symmetric monoidal natural transformation is the same as a monoidal natural transformation (as long as it goes between symmetric monoidal functors).

See, for example,

Last revised on October 12, 2023 at 17:04:21. See the history of this page for a list of all contributions to it.