Work

Tensor product in the category of effect algebras

Year: 2026

Type: article

Abstract: We study a tensor product in the category of effect algebras and in the category of partially ordered Abelian groups with order unit. We show that the tensor product preserves all the constructions that are essentially colimits over a connected diagram. Further, we prove the construction of a universal group for an effect algebra preserves all tensor products. We establish the corresponding functor from the category of effect algebras to the category of unital Abelian po-groups as a strong monoidal functor. We note that the technique we use in establishing the result could be used in various similar situations. Finally, we show that the tensor product of effect algebras does not preserve the Riesz decomposition property, which was an open question for a while.

Source: Algebra Universalis

DOI: 10.1007/s00012-026-00938-7

Author: Dominik Lachman

Institution: Palacký University Olomouc

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,190

Funder: Univerzita Palackého v Olomouci