The exchange law for ordinary natural transformations turns out to have an analogue for internal natural transformations. To obtain this analogue, which we call the internal Eckmann–Hilton relation, we introduce three braided colored operads. The string-net correlator defined in Sect. 3.5 provides a morphism from the braided colored operad of world sheets to the one of string nets.