which is, the monoidal class captures precisely the which means of a tensor product; it captures precisely the notion of why it is tensor products behave the way in which they do. far more precisely, a monoidal class is the class of all matters (of a supplied form) which have a tensor product. In some cases, far better administration of product li