Noncommutativity as a colimit

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.

22 pages; updated theorem 15, added propoisition 36

References in corpus (2)

• `What is a Thing?': Topos Theory in the Foundations of Physics
• Constructive Gelfand duality for C*-algebras

Cited by in corpus (17)

• Active lattices determine AW*-algebras
• Abelian subalgebras and the Jordan structure of a von Neumann algebra
• The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
• The many classical faces of quantum structures
• Obstructing extensions of the functor Spec to noncommutative rings
• A Categorial Semantic Representation of Quantum Event Structures
• Classifying finite-dimensional C*-algebras by posets of their commutative C*-subalgebras
• Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras
• Bohrification of local nets of observables
• Domains of commutative C*-subalgebras
• (Almost) C*-algebras as sheaves with self-action
• Characterizations of categories of commutative C*-subalgebras
• Piecewise Boolean algebras and their domains
• Discretization of C*-algebras
• Subalgebras of orthomodular lattices
• Atom graph, partial Boolean algebra and quantum contextuality
• $L^p$-Wasserstein distances on state and quasi-state spaces of $C^{\ast }$-algebras