Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 3 down vote favorite

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

share|improve this question
1  
Probably you want the monoidal structure to at least preserve addition of morphisms (that is, to be $\text{Ab}$-enriched). – Qiaochu Yuan Jul 25 '12 at 15:26
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
1  
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 Aug 1 '12 at 18:40

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.