Noncommutativity as a colimit

DOI10.1007/S10485-011-9246-3MaRDI QIDQ695318zbMATH OpenOpenAlexFDO

Authors Benno van den Berg, Chris Heunen

Publication date 21 December 2012

Published in Applied Categorical Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

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

zbMATH Keywords

tensor productprojectionquantum mechanicsvon Neumann algebraframeGelfand dualitytoposlocaleStone dualitycolimitgeometric morphism(co)complete category(partial) Boolean algebracategorical reflectioncommeasurability relationpartial \(C^*\)-algebrapartial AW*-algebrapartial Rickart \(C^{\ast}\)-algebras

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Special categories (18B99) Categories, functors in functional analysis (46M15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Tensor products of (C^*)-algebras (46L06) Stone spaces (Boolean spaces) and related structures (06E15)

Abstract: Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and variations such as partial complete Boolean algebras and partial AW*-algebras. The first two results are related by taking projections. As corollaries we find extensions of Stone duality and Gelfand duality. Finally, we investigate the extent to which the Bohrification construction, that works on partial C*-algebras, is functorial.

Recommendations

• (Almost) \({C}^\ast\)-algebras as sheaves with self-action
• Bohrification of operator algebras and quantum logic
• scientific article; zbMATH DE number 671704
• scientific article; zbMATH DE number 6881426
• scientific article; zbMATH DE number 4024041
• Gelfand theorem implies Stone representation theorem of Boolean rings
• The space of measurement outcomes as a spectral invariant for non-commutative algebras
• Gelfand-type duality for commutative von Neumann algebras
• Partial \({}^*\)-algebras of closable operators. I: The basic theory and the abelian case
• Some characterizations of partial algebras

Cites work

• scientific article; zbMATH DE number 3820471 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3248454 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 3311230 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A factor not anti-isomorphic to itself
• Completely positive maps into corona algebras
• Kochen-Specker theorem for von Neumann algebras
• On the Lattice of Subalgebras of a Boolean Algebra
• Quantum logic in algebraic approach
• ``What is a thing?: topos theory in the foundations of physics

Cited in

(13)

• From quantum-mechanical lattice of projections to smooth structure of \(\mathbb{R}^4\)
• A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors
• Contextual semantics in quantum mechanics from a categorical point of view
• Characterizations of categories of commutative \(C^*\)-subalgebras
• Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras
• Active lattices determine \(\mathrm{AW}^\ast\)-algebras
• A categorial semantic representation of quantum event structures
• Complementarity in categorical quantum mechanics
• Symmetries in exact bohrification
• The paraunitary group of a von Neumann algebra
• Maps preserving products of commuting elements in von Neumann algebras
• The space of measurement outcomes as a spectral invariant for non-commutative algebras
• A non-commutative Priestley duality.

This page was built for publication: Noncommutativity as a colimit

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