monoidal
Adjective
Meaning
monoidal (not comparable)
Of, pertaining to, or being a monoid.
Anagrams
Examples
Category theoretical description main Every ring can be thought of as a monoid in Ab, the category of abelian groups (thought of as a monoidal category under the tensor product of -modules ).
More precisely, a monoidal category is the class of all things (of a given type ) that have a tensor product.
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.
The category of sets is closed monoidal, but so is the category of vector spaces, giving the notion of bilinear transformation above.
The general concept of a "tensor product" is captured by monoidal categories ; that is, the class of all things that have a tensor product is a monoidal category.