  Products and tensor products are linked by a universal property. Imposing the
invariance of the laws of Nature under tensor composition along with Leibniz
identity determines quantum and classical mechanics algebraic structure through
the interplay between products, coproducts, and the tensor product. Violations
of Bell's inequalities distinguishes quantum from classical mechanics.
