Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created:
A Boolean algebra is localizable if it admits “sufficiently many” measures.
A localizable Boolean algebra is a complete Boolean algebra $A$ such that $1\in A$ equals the supremum of all $a\in A$ such that the Boolean algebra $aA$ admits a faithful continuous valuation $\nu\colon A\to[0,1]$. Here a valuation $\nu\colon A\to[0,\infty]$ is faithful if $\nu(a)=0$ implies $a=0$.
A morphism of localizable Boolean algebras is a complete (i.e., suprema-preserving) homomorphism of Boolean algebras.
The category of localizable Boolean algebras admits all small limits and small colimits.
It is equivalent to the category of commutative von Neumann algebras.
The equivalence sends a commutative von Neumann algebra to its localizable Boolean algebra of projections. It sends a localizable Boolean algebra $A$ to the complexification of the completion of the free real algebra on $A$, given by the left adjoint to the functor that takes idempotents.
1 to 1 of 1