THE SINGLE BEST STRATEGY TO USE FOR PRODUCT

that is definitely, the monoidal classification captures exactly the this means of the tensor product; it captures exactly the notion of why it is tensor products behave the best way they are doing. much more precisely, a monoidal class is the class of all items (of a supplied sort) which have a tensor product. A generic product is really a Model