Effect algebras as presheaves on finite Boolean algebras

DOI10.1007/S11083-017-9447-YzbMATH Open1412.03028arXiv1705.06498OpenAlexW3101336898MaRDI QIDQ1789060FDOQ1789060

Authors: Gejza Jenča 

Publication date: 9 October 2018

Published in: Order (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

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)