Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Does the definition of a monoidal abelian category require any coherence between the abelian structure and the monoidal structure?

share|cite|improve this question
In this paper, the author defines an abelian monoidal category to be an abelian category if the functor $(A, B) \mapsto A \otimes B$ is additive in each variable separately. Note that this implies there is a group homomorphism $\textrm{Hom}(A, C) \otimes_{\mathbb{Z}} \textrm{Hom}(B, D) \to \textrm{Hom}(A \otimes B, C \otimes D)$. – Zhen Lin Jul 25 '12 at 15:27
Sorry but I don't see why you're tensoring over ${Z}$. – MikhailMatrix Jul 25 '12 at 15:40
Because $\textrm{Hom}(X, Y)$ is an abelian group if we have an abelian category. – Zhen Lin Jul 25 '12 at 16:37
Obviously the answer is that depends one what you're using the notion of monoidal abelian category for. But I'd think that the condition Zhen Lin mentions is a very reasonable one. – Omar Antolín-Camarena Aug 1 '12 at 18:40

At a minimum, you should require that the monoidal structure is additive in each variable, as Zhen Lin says in the comments.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.