Related papers: Bohrification of local nets of observables
Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal…
This paper shows that quantization induces a Lawvere-Tierney topology on (hence, a sheaf topos in) the quantum topos. We show that a quantization map from classical observables to self-adjoint operators on a Hilbert space naturally induces…
New foundations for quantum logic and quantum spaces are constructed by merging algebraic quantum theory and topos theory. Interpreting Bohr's "doctrine of classical concepts" mathematically, given a quantum theory described by a…
An observable effects a schematization of the Quantum event structure by correlating Boolean algebras picked by measurements with the Borel algebra of the real line. In a well-defined sense Boolean observables play the role of…
The premise of this note is the following observation: the formalism of Bohrification is a natural place for the interpretation of general non-signalling theories. We demonstrate it through an analysis of so-called box-worlds, a popular…
We describe all the localization observables of a quantum particle in a one-dimensional box in terms of sequences of unit vectors in a Hilbert space. An alternative representation in terms of positive semidefinite complex matrices is…
In integrable models of quantum field theory, local fields are normally constructed by means of the bootstrap-formfactor program. However, the convergence of their $n$-point functions is unclear in this setting. An alternative approach uses…
We study morphisms of internal locales of Grothendieck toposes externally: treating internal locales and their morphisms as sheaves and natural transformations. We characterise those morphisms of internal locales that induce surjective…
Quantum mechanics is able to predict challenging behaviors even in the simplest physical scenarios. These behaviors are possible because of the important dynamical role that phase plays in the evolution of quantum systems, and are very…
Recently, quantum entanglement has been presented as a cohomological obstruction to reconstructing a global quantum state from locally compatible information, where sheafification provides a functor that is forgetful with regards to…
When geometric quantization is applied to a manifold using a real polarization which is "nice enough", a result of Sniatycki says that the quantization can be found by counting certain objects, called Bohr-Sommerfeld leaves. Subsequently,…
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local…
We develop the idea of employing localization systems of Boolean coverings, associated with measurement situations, in order to comprehend structures of Quantum Observables. In this manner, Boolean domain observables constitute structure…
We apply constructions from topos-theoretic approaches to quantum theory to algebraic quantum field theory. Thus a net of operator algebras is reformulated as a functor that maps regions of spacetime into a category of ringed topoi. We ask…
In the current debate referring to the construction of a tenable background independent theory of Quantum Gravity we introduce the notion of topos-theoretic relativization of physical representability and demonstrate its relevance…
We show, following a previous quantization of a vacuum spherically symmetric spacetime carried out in Ref. \cite{gop}, that this setting admits a Schr\"odinger-like picture. More precisely, the technique adopted there for the definition of…
For any given algebra of local observables in relativistic quantum field theory there exists an associated scaling algebra which permits one to introduce renormalization group transformations and to construct the scaling (short distance)…
The review is devoted to topological global aspects of quantal description. The treatment concentrates on quantizations of kinematical observables --- generalized positions and momenta. A broad class of quantum kinematics is rigorously…
Bohrification defines a locale of hidden variables internal in a topos. We find that externally this is the space of partial measurement outcomes. By considering the double negation sheafification, we obtain the space of measurement…
We present a new viewpoint on the construction of pointlike local fields in integrable models of quantum field theory. As usual, we define these local observables by their form factors; but rather than exhibiting their $n$-point functions…