Monoidal category

Monoidal natural transformation

In order to categorify the notion of monoid homomorphism it is necessary to impose data and axioms on both the notion of functor and of natural transformation between such functors. Let 𝑇1,𝑇2 :𝖒 →𝖣 be monoidal functors with (πœ–1,πœ‡1) and (πœ–2,πœ‡2) respectively. A natural transformation 𝛾 :𝑇1 ⇒𝑇2 :𝖒 →𝖣 is called monoidal iff cat

A quiver diagram.

and

A quiver diagram.

commute for all objects π‘₯,𝑦 βˆˆπ–’.


tidy | en | SemBr