Effect algebras as presheaves on finite Boolean algebras

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

Authors Gejza Jenča

Publication date 9 October 2018

Published in Order (Search for Journal in Brave)

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

zbMATH Keywords

tensor producteffect algebrapresheaf

Mathematics Subject Classification ID

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.

Recommendations

• scientific article; zbMATH DE number 6130443
• Representations of effect algebras
• Tensor products of several effect algebras and their representability
• Effect algebras and para-Boolean manifolds
• Representation theory of effect algebras

Cites work

• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 3889596 (Why is no real title available?)
• scientific article; zbMATH DE number 3946195 (Why is no real title available?)
• scientific article; zbMATH DE number 1293525 (Why is no real title available?)
• scientific article; zbMATH DE number 566410 (Why is no real title available?)
• scientific article; zbMATH DE number 2154576 (Why is no real title available?)
• scientific article; zbMATH DE number 3804225 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Algebraic Analysis of Many Valued Logics
• Category theory in context
• Coreflections in algebraic quantum logic
• Effect algebras and unsharp quantum logics.
• Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.
• Effect algebras, presheaves, non-locality and contextuality
• Filters and supports in orthoalgebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Interval and scale effect algebras
• On closed categories of functors
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Quotients of partial abelian monoids
• Sheaves in geometry and logic: a first introduction to topos theory
• Tensor Product of Difference Posets
• Tensor products of orthoalgebras
• The Quantum Theory of Measurement

Cited in

(1)

• Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.

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)