Braided monoidal functor
= Braided monoidal functor
A <monoidal functor> between <braided monoidal categories> compatible with their <braidings>: $F(c_{X,Y})F_2(X,Y)=F_2(Y,X)c_{FX,FY}$.
= Braided monoidal functor
A <monoidal functor> between <braided monoidal categories> compatible with their <braidings>: $F(c_{X,Y})F_2(X,Y)=F_2(Y,X)c_{FX,FY}$.