Skip to main content
added comments about the monoidal functor and lax issues.
Source Link
Chris Schommer-Pries
  • 27.5k
  • 3
  • 91
  • 171

Yes. This follows from two simple facts:

  1. If $F:C \simeq D$ is an equivalence of categories, and $D$ has a braided monoidal structure, then there exists a braided monoidal structure on $C$ and an enhancement of $F$ to a braided monoidal functor such that $F$ is an equivalence of braided monoidal categories.
  2. Every category is equivalent to a skeletal category.

Number 2 is standard, so I won't dwell on it. If you don't believe number 1, try proving it. It is a great exercise. Here is a sketch of how to go about proving it.

  1. Replace $F$ by an adjoint equivalence, i.e. pick an adjoint inverse equivalence to $F$. You'll need this to transfer the structure from D to C.
  2. Now transfer the structure from D to C. There is not much to say here. Just follow your nose. For example the tensor product in C is defined by $$ x \otimes_C y := G(F(x) \otimes_D F(y))$$ There is an associator because we have chosen F and G to be adjoint equivalences to each other. The braiding is similar. It is given by, $$G(\beta_{F(x), F(Y)}): G(F(x) \otimes_DF(y)) \to G(F(y) \otimes_DF(x)). $$ It is tedious to verify, but this does actually satisfy the hexagon identities.
  3. Thus we've constructed a braided monoidal structure on C. To show that this new braided monoidal category C is equivalent as a braided monoidal category to D, we need to augment F and G to braided monoidal functors. To do this we just keep playing the same game. For example we need an equivalence $$F(x) \otimes_D F(y) \to F(x \otimes_C y) = FG(F(x) \otimes_D F(y)).$$
    This is given by the inverse of the unit/counit of the adjoint equivalence between F and G. Constructing the other structure is no different.

This is morally the strategy advocated by Benjamin Enriquez. He tried to do this with less then an equivalence and ran into trouble. For the question as stated, you really only need the case that C and D are equivalent. Notice also that this still works when the monoidal structures are just lax. It still produces a strong monoidal equivalence between C and D.

Yes. This follows from two simple facts:

  1. If $F:C \simeq D$ is an equivalence of categories, and $D$ has a braided monoidal structure, then there exists a braided monoidal structure on $C$ and an enhancement of $F$ to a braided monoidal functor such that $F$ is an equivalence of braided monoidal categories.
  2. Every category is equivalent to a skeletal category.

Number 2 is standard, so I won't dwell on it. If you don't believe number 1, try proving it. It is a great exercise. Here is a sketch of how to go about proving it.

  1. Replace $F$ by an adjoint equivalence, i.e. pick an adjoint inverse equivalence to $F$. You'll need this to transfer the structure from D to C.
  2. Now transfer the structure from D to C. There is not much to say here. Just follow your nose. For example the tensor product in C is defined by $$ x \otimes_C y := G(F(x) \otimes_D F(y))$$ There is an associator because we have chosen F and G to be adjoint equivalences to each other. The braiding is similar. It is given by, $$G(\beta_{F(x), F(Y)}): G(F(x) \otimes_DF(y)) \to G(F(y) \otimes_DF(x)). $$ It is tedious to verify, but this does actually satisfy the hexagon identities.

This is morally the strategy advocated by Benjamin Enriquez. He tried to do this with less then an equivalence and ran into trouble. For the question as stated, you really only need the case that C and D are equivalent.

Yes. This follows from two simple facts:

  1. If $F:C \simeq D$ is an equivalence of categories, and $D$ has a braided monoidal structure, then there exists a braided monoidal structure on $C$ and an enhancement of $F$ to a braided monoidal functor such that $F$ is an equivalence of braided monoidal categories.
  2. Every category is equivalent to a skeletal category.

Number 2 is standard, so I won't dwell on it. If you don't believe number 1, try proving it. It is a great exercise. Here is a sketch of how to go about proving it.

  1. Replace $F$ by an adjoint equivalence, i.e. pick an adjoint inverse equivalence to $F$. You'll need this to transfer the structure from D to C.
  2. Now transfer the structure from D to C. There is not much to say here. Just follow your nose. For example the tensor product in C is defined by $$ x \otimes_C y := G(F(x) \otimes_D F(y))$$ There is an associator because we have chosen F and G to be adjoint equivalences to each other. The braiding is similar. It is given by, $$G(\beta_{F(x), F(Y)}): G(F(x) \otimes_DF(y)) \to G(F(y) \otimes_DF(x)). $$ It is tedious to verify, but this does actually satisfy the hexagon identities.
  3. Thus we've constructed a braided monoidal structure on C. To show that this new braided monoidal category C is equivalent as a braided monoidal category to D, we need to augment F and G to braided monoidal functors. To do this we just keep playing the same game. For example we need an equivalence $$F(x) \otimes_D F(y) \to F(x \otimes_C y) = FG(F(x) \otimes_D F(y)).$$
    This is given by the inverse of the unit/counit of the adjoint equivalence between F and G. Constructing the other structure is no different.

This is morally the strategy advocated by Benjamin Enriquez. He tried to do this with less then an equivalence and ran into trouble. For the question as stated, you really only need the case that C and D are equivalent. Notice also that this still works when the monoidal structures are just lax. It still produces a strong monoidal equivalence between C and D.

Source Link
Chris Schommer-Pries
  • 27.5k
  • 3
  • 91
  • 171

Yes. This follows from two simple facts:

  1. If $F:C \simeq D$ is an equivalence of categories, and $D$ has a braided monoidal structure, then there exists a braided monoidal structure on $C$ and an enhancement of $F$ to a braided monoidal functor such that $F$ is an equivalence of braided monoidal categories.
  2. Every category is equivalent to a skeletal category.

Number 2 is standard, so I won't dwell on it. If you don't believe number 1, try proving it. It is a great exercise. Here is a sketch of how to go about proving it.

  1. Replace $F$ by an adjoint equivalence, i.e. pick an adjoint inverse equivalence to $F$. You'll need this to transfer the structure from D to C.
  2. Now transfer the structure from D to C. There is not much to say here. Just follow your nose. For example the tensor product in C is defined by $$ x \otimes_C y := G(F(x) \otimes_D F(y))$$ There is an associator because we have chosen F and G to be adjoint equivalences to each other. The braiding is similar. It is given by, $$G(\beta_{F(x), F(Y)}): G(F(x) \otimes_DF(y)) \to G(F(y) \otimes_DF(x)). $$ It is tedious to verify, but this does actually satisfy the hexagon identities.

This is morally the strategy advocated by Benjamin Enriquez. He tried to do this with less then an equivalence and ran into trouble. For the question as stated, you really only need the case that C and D are equivalent.