Effect algebras as presheaves on finite Boolean algebras

DOI10.1007/S11083-017-9447-YMaRDI QIDQ1789060zbMATH OpenOpenAlexFDO

Publication date 9 October 2018

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1705.06498

Quantum logic (03G12) Structure theory of Boolean algebras (06E05) Special categories (18B99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: For an effect algebra

A

, we examine the category of all morphisms from finite Boolean algebras into

A

. This category can be described as a category of elements of a presheaf

R (A)

on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra

A

can be characterized by properties of the category of elements of the presheaf

R (A)

. We prove that the tensor product of of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. As a consequence, the tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.

Review text

\textit{S. Staton} and \textit{S. Uijlen} [Lect. Notes Comput. Sci. 9135, 401--413 (2015; Zbl 1396.81012)] proved that effect algebras can be faithfully represented by presheaves on the category of finite Boolean algebras. The author of the paper under review uses this representation result as the main tool to characterize several properties of an effect algebra \(A\) in terms of the category of elements of the presheaf \(R(A)\) representing it. This presheaf maps a finite Boolean algebra into the set of all \(A\)-valued observables on it, i.e., morphisms from the algebra to \(A\). Let \(\int R(A)\) stand for the category of such morphisms. Then, an effect algebra \(A\) satisfies the Riesz decomposition property iff \(\int R(A)\) is amalgamated, it is an orthoalgebra iff for every pair of morphisms in \(\int R(A)\) there is a certain coequalizing morphism, and it is a Boolean algebra iff \(\int R(A)\) is filtered. Presheaf representation, together with cocompleteness of the category of effect algebras (discovered by \textit{B. Jacobs} and \textit{J. Mandemaker} in [Found. Phys. 42, No. 7, 932--958 (2012; Zbl 1259.81010)]), also makes it possible to prove that the tensor product of effect algebras arises as a certain left Kan extension and can then be expressed by means of the Day convolution of the respective presheaves.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Effect algebras as presheaves on finite Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1789060)