Monoidal natural transformation

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 (see Definition 11 in [1]).

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

References

  1. Baez, John C. "Some Definitions Everyone Should Know" (PDF). Retrieved 2 December 2014.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.