This article needs additional citations for
verification. (December 2009) |
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 . [1] [2]
A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.
This article needs additional citations for
verification. (December 2009) |
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 . [1] [2]
A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.