 Opmonoidal natural transformation

ID: opmonoidal-natural-transformation

τ : F \Rightarrow G

satisfying

G_{2} τ_{X \otimes Y} = (τ_{X} \otimes τ_{Y}) F_{2}

and

G_{0} τ_{I} = F_{0}

 New to topics? Read the docs here!