Year: 2024
Type: article
Abstract: Effect algebras are certain ordered structures that serve as a general framework for studying the algebraic semantics of quantum logic. We study effect algebras which obtain suprema of countable monotone sequences – so-called $$\omega $$ ω -effect algebras. This assumption is necessary to capture basic (non-discrete) probabilistic concepts. We establish a free $$\omega $$ ω -completion of effect algebras (i.e., a left adjoint to the functor that forgets the existence of $$\omega $$ ω -suprema) and the existence of a tensor product in the category of $$\omega $$ ω -effect algebras. These results are obtained by means of so-called test spaces. Test spaces form a category that contains effect algebras as a reflective subcategory, but provides more space for constructions.
Source: Order
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: $2,890
Funder: Univerzita Palackého v Olomouci
OpenAlex ID: W4402071417