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 #m/def/cat

https://q.uiver.app/#q=WzAsNCxbMCwwLCJUXzEoeClcXG90aW1lcyBUXzEoeSkiXSxbMCwyLCJUXzEoeCBcXG90aW1lcyB5KSJdLFsyLDAsIlRfMih4KSBcXG90aW1lcyBUXzIoeSkiXSxbMiwyLCJUXzIoeFxcb3RpbWVzIHkpIl0sWzAsMSwiKFxcbXVfMSlfe3gseX0iLDJdLFsyLDMsIihcXG11XzIpX3t4LHl9Il0sWzAsMiwiXFxnYW1tYV94IFxcb3RpbWVzIFxcZ2FtbWFfeSJdLFsxLDMsIlxcZ2FtbWFfe3ggXFxvdGltZXMgeX0iLDJdXQ==

and

https://q.uiver.app/#q=WzAsMyxbMSwwLCJcXG1hdGhiYiAxIl0sWzAsMSwiVF8xKFxcbWF0aGJiIDEpIl0sWzIsMSwiVF8yKFxcbWF0aGJiIDEpIl0sWzAsMSwiXFxlcHNpbG9uXzEiLDJdLFswLDIsIlxcZXBzaWxvbl8yIl0sWzEsMiwiXFxnYW1tYV97XFxtYXRoYmIgMX0iLDJdXQ==

commute for all objects 𝑥,𝑦 ∈𝖢.

#state/tidy | #lang/en | #SemBr