Opmonoidal natural transformation
= Opmonoidal natural transformation
{title2=$\tau:F\Rightarrow G$}
A <natural transformation> $\tau:F\Rightarrow G$ satisfying $G_2\tau_{X\otimes Y}=(\tau_X\otimes\tau_Y)F_2$ and $G_0\tau_I=F_0$.
= Opmonoidal natural transformation
{title2=$\tau:F\Rightarrow G$}
A <natural transformation> $\tau:F\Rightarrow G$ satisfying $G_2\tau_{X\otimes Y}=(\tau_X\otimes\tau_Y)F_2$ and $G_0\tau_I=F_0$.