Tensor products of Hilbert space effect algebras

A definition of a tensor product in the category of Hilbert space effect algebras is introduced such that the tensor product reflects as much as possible of the physically important properties of the components. It is shown that in the complex case, there are two candidates to the tensor product, which are not equivalent. The situation is similar to the tensor product in the category of projection lattices, but also the two dimensional case is included. The case of tensor product of two classical systems is also investigated.