1 Answers
Suppose that {\displaystyle } and {\displaystyle } are two monoidal categories and
are two lax monoidal functors between those categories.
A monoidal natural transformation
between those functors is a natural transformation θ : F → G {\displaystyle \theta :F\to G} between the underlying functors such that the diagrams
5 views
Answered