Product Effect Algebras

We introduce a product on an effect algebra. We prove that every product effect algebra with the Riesz decomposition property (RDP), is an interval in an Abelian unital interpolation po-ring, and we show that the category of product effect algebras with the RDP is categorically equivalent with the category of unital Abelian interpolation po-rings. In addition, we show that every product effect algebra with the RDP and with 1 as a product unity is a subdirect product of antilattice product effect algebras with the RDP.