Noncommutativity as a colimit

DOI10.1007/S10485-011-9246-3zbMATH Open1261.46051arXiv1003.3618OpenAlexW1988737084MaRDI QIDQ695318FDOQ695318

Authors: Benno van den Berg, Chris Heunen 

Publication date: 21 December 2012

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

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.

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

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

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)

Cites Work

• A factor not anti-isomorphic to itself
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ``What is a thing?: topos theory in the foundations of physics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quantum logic in algebraic approach
• Kochen-Specker theorem for von Neumann algebras
• Title not available (Why is that?)
• On the Lattice of Subalgebras of a Boolean Algebra
• Completely positive maps into corona algebras
• Title not available (Why is that?)

Cited In (13)

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