Tensor product of generalized sample spaces (Q796527)

The tensor product of generalized sample spaces or manuals is defined within the framework of empirical logic. The requirement to accurately reflect the interaction of experimental procedures for coupled systems leads to three levels of product: the cross-product, operational product, and tensor product. The structure of the weights on these products is examined and is used to give a condition for the existence of the tensor product. Categorical properties of the tensor product, including a universal mapping theorem, are given.