Jump to content

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

           and         

commute for every objects and of .[1][2]

A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.

Inline citations

[edit]
  1. ^ Baez, John C. "Some Definitions Everyone Should Know" (PDF). Retrieved 2 December 2014.
  2. ^ Perrone (2024), p. 369

References

[edit]