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.




