monoidal natural transformation

Tags: category theory, natural transformation.