MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(M,\otimes)$ be a small symmetric monoidal category. Is it possible to choose in each isomorphy class $[A]$ a representative $A_0$ and for each $A\in M$ an isomorphism $\phi_A:A\to A_0$ in a way that for any $A,B\in M$ the equation $$ \phi_{A\otimes B}=\phi_{A\otimes B_0}\circ(1\otimes\phi_B) $$ holds?

share|cite|improve this question
I would try disproving that claim by taking the category to be the strict 2-group with two elements, each element with an automorphism group $\mathbb Z/2$ and all that equipped with the non-trivial associator $\alpha\in H^3(\mathbb Z/2,\mathbb Z/2)$. – André Henriques May 20 '13 at 20:14
Sorry... this is not symmetric monoidal. – André Henriques May 20 '13 at 20:17
Have you tried the category of finitely generated projective $R$-modules? – Martin Brandenburg Jun 17 '13 at 17:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.