Saved in:
Bibliographic Details
Main Author: Lachman, Dominik
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2503.01365
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915179765170176
author Lachman, Dominik
author_facet Lachman, Dominik
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2503_01365
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Tensor Product in the Category of Effect Algebras
Lachman, Dominik
Mathematical Physics
03G12, 06F20, 18M05
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.
title Tensor Product in the Category of Effect Algebras
topic Mathematical Physics
03G12, 06F20, 18M05
url https://arxiv.org/abs/2503.01365