Monoidal natural transformation
From Wikipedia, the free encyclopedia
Suppose that and are two monoidal categories and
- 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 A and B of .
A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.