symmetric monoidal functor
With duals for objects
With duals for morphisms
Special sorts of products
In higher category theory
A symmetric monoidal functor is a functor between symmetric monoidal categories that is a monoidal functor which respects the symmetry on both sides.
A monoidal functor between symmetric monoidal categories is symmetric if for all the diagram
commutes, where denotes the symmetry isomorphism both of and .
As long as it goes between symmetric monoidal categories a symmetric monoidal functor is the same as a braided monoidal functor.
An exposition is in
Revised on November 1, 2016 19:06:31
by Jon Beardsley