nLab bilax monoidal functor

Redirected from "bilax monoidal functors".
Contents

Context

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Contents

Definition

A bilax monoidal functor is a functor F:CDF : C \to D between categories equipped with the structure of braided monoidal categories that is both a lax monoidal functor as well as an oplax monoidal functor with natural transformations

F(x)F(y) x,yΔ x,yF(xy) F(x) \otimes F(y) \stackrel{\overset{\Delta_{x,y}}{\leftarrow}}{\underset{\nabla_{x,y}}{\to}} F(x \otimes y)

satisfying two compatibility conditions:

  • braiding For all a,b,c,dCa,b,c,d \in C the following diagram commutes

    F(ab)F(cd) F(abcd) F(a)F(b)F(c)F(d) F(acbd) F(a)F(c)F(b)F(d) F(ac)F(bd) \array{ && F(a \otimes b) \otimes F(c \otimes d) \\ & \swarrow && \searrow \\ F(a \otimes b \otimes c \otimes d) &&&& F(a) \otimes F(b) \otimes F(c) \otimes F(d) \\ \downarrow &&&& \downarrow \\ F(a \otimes c \otimes b \otimes d) &&&& F(a) \otimes F(c) \otimes F(b) \otimes F(d) \\ & \searrow && \swarrow \\ && F(a \otimes c) \otimes F(b \otimes d) }
  • unitality (…)

References

Definition 3.3 in

Last revised on November 3, 2010 at 16:20:36. See the history of this page for a list of all contributions to it.