Effect algebras and tensor products of S-sets

Abstract

An S-set is an algebraic structure that generalizes an effect algebra. Unlike effect algebras, the tensor product of two S-sets always exists and this tensor product can be concretely represented. Morphisms are used to study relationships between S-sets and effect algebras. The S-set tensor product is employed to obtain information about effect algebra tensor products.