PRODUCT FOR DUMMIES

That is, the monoidal category captures exactly the this means of the tensor product; it captures exactly the Idea of why it is always that tensor products behave the way they are doing. far more precisely, a monoidal classification is The category of all things (of a presented sort) that have a tensor product. all these products bear slight modif