Monoidal natural transformation
This article needs additional citations for verification. (December 2009) (Learn how and when to remove this template message)
Suppose that and are two monoidal categories and
are two lax monoidal functors between those categories.
A monoidal natural transformation
between those functors is a natural transformation between the underlying functors such that the diagrams
commute for every objects and of (see Definition 11 in ).
A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.
- Baez, John C. "Some Definitions Everyone Should Know" (PDF). Retrieved 2 December 2014.