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

Referring to the top answer in this post:

Would it be reasonable to explain what is a tensor product in this context? I only have an introductory level of experience with category theory and have never come across a tensor product (in any sort of context) until reading this. If this is not something that can be explained in concise way, reference to book I can begin learning from to gain the background I should have for understanding would be appreciated.

share|cite|improve this question
up vote 5 down vote accepted

The basic notion here is that of a monoidal category, which is a category $C$ together with a functor $\otimes : C \times C \to C$, the monoidal operation, together with some extra data satisfying some extra properties. Any category with finite products is a monoidal category with $\otimes$ the product functor; these are the cartesian monoidal categories.

But there are many important examples which are not cartesian monoidal, the prototypical one being the category $\text{Vect}$ of vector spaces. $\text{Vect}$ can be made into a monoidal category where the monoidal operation is the tensor product of vector spaces, and this is why sometimes monoidal operations are called tensor products. If you aren't familiar with the tensor product of vector spaces, I strongly recommend becoming comfortable with that special case before trying to understand monoidal categories in general.

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.