nLab symmetric monoidal functor

Context

Monoidal categories

monoidal categories

Contents

Idea

A symmetric monoidal functor is a functor $F : C \to D$ between symmetric monoidal categories that is a monoidal functor which respects the symmetry on both sides.

Defnition

A monoidal functor $F : (C,\otimes) \to (D, \otimes)$ between symmetric monoidal categories is symmetric if for all $A,B \in C$ the diagram

$\array{ F A \otimes F B &\stackrel{\sigma}{\to}& F B \otimes F A \\ {}^{\mathllap{\nabla_{A,B}}}\downarrow && \downarrow^{\mathrlap{\nabla_{B,A}}} \\ F(A\otimes B) &\stackrel{F(\sigma)}{\to}& F(B \otimes A) }$

commutes, where $\sigma$ denotes the symmetry isomorphism both of $C$ and $D$.

Properties

As long as it goes between symmetric monoidal categories a symmetric monoidal functor is the same as a braided monoidal functor.

References

An exposition is in

Revised on November 1, 2016 19:06:31 by Jon Beardsley (205.175.118.20)