Effect algebras as presheaves on finite Boolean algebras (Q1789060)

\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.