Skip to main content
MathOverflow

Return to Answer

added 7 characters in body
Source Link
Daniel Copeland
Daniel Copeland
  • 303
  • 1
  • 6

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with simple objects $\{g: g \in G\}$ and tensor product $g \otimes h = gh$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with objects $\{g: g \in G\}$ and tensor product $g \otimes h = gh$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with simple objects $\{g: g \in G\}$ and tensor product $g \otimes h = gh$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).

added 1 character in body
Source Link
Daniel Copeland
Daniel Copeland
  • 303
  • 1
  • 6

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with objects $\{g: g \in G\}$ and tensor product $g \otimes h = g$$g \otimes h = gh$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with objects $\{g: g \in G\}$ and tensor product $g \otimes h = g$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with objects $\{g: g \in G\}$ and tensor product $g \otimes h = gh$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).

Source Link
Daniel Copeland
Daniel Copeland
  • 303
  • 1
  • 6

I think the answer to the second part (both $C_i$ strict) is negative.

Fix a finite group $G$ with a non-trivial 2-cocycle $\gamma \in H^2(G, \mathbb{C}^{\times})$. Let $C$ be the strict $\mathbb{C}$-linear monoidal category with objects $\{g: g \in G\}$ and tensor product $g \otimes h = g$. Then the 2-cocycle $\gamma$ can be used to define a monoidal functor $(1_C, \gamma): C \to C$. This functor is not naturally isomorphic to a strict functor (the only possibility is it is isomorphic to the (strict) identity functor, but this cannot be the case since $\gamma$ is non-trivial).