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 be monoidal functors with and respectively. A natural transformation is called monoidal iff cat

and

commute for all objects .

---

tidy | en | sembr