Editing Product (mathematics) (section)

===The class of all objects with a tensor product===
In general, whenever one has two mathematical [[object (category theory)|objects]] that can be combined in a way that behaves like a linear algebra tensor product, then this can be most generally understood as the [[internal product]] of a [[monoidal category]].  That is, the monoidal category captures precisely the meaning of a tensor product; it captures exactly the notion of why it is that tensor products behave the way they do.  More precisely, a monoidal category is the [[class (set theory)|class]] of all things (of a given [[type theory|type]]) that have a tensor product.