Fibred contextual quantum physics

Inspired by the recast of the quantum mechanics in a toposical framework, we develop a contextual quantum mechanics via the geometric mathematics to propose a quantum contextuality adaptable in every topos. The contextuality adopted corresponds to the belief that the quantum world must only be seen from the classical viewpoints à la Bohr consequently putting forth the notion of a context, while retaining a realist understanding. Mathematically, the cardinal object is a spectral Stone bundle Σ → B (between stably-compact locales) permitting a treatment of the kinematics, fibre by fibre and fully point-free. In leading naturally to a new notion of points, the geometricity permits to understand those of the base space B as the contexts C — the commutative C*–algebras of a incommutative C*–algebras — and those of the spectral locale Σ as the couples (C, ψ), with ψ a state of the system from the perspective of such a C. The contexts are furnished with a natural order, the aggregation order which is installed as the specialization on B and Σ thanks to (one part of) the Priestley's duality adapted geometrically as well as to the effectuality of the lax descent of the Stone bundles along the perfect maps

The double powerlocale and exponentiation: A case study in geometric logic

If X is a locale, then its double powerlocale PX is defined to be PU(PL(X)) where PU and PL are the upper and lower powerlocale constructions. We prove various results relating it to exponentiation of locales, including the following. First, if X is a locale for which the exponential S^X exists (where S is the Sierpinski locale), then PX is an exponential S^(S^X). Second, if in addition W is a locale for which PW is homeomorphic to S^X, then X is an exponential S^W. The work uses geometric reasoning, i.e. reasoning stable under pullback along geometric morphisms, and this enables the locales to be discussed in terms of their points as though they were spaces. It relies on a number of geometricity results including those for locale presentations and for powerlocales

Toposes of monoid actions

openWe study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topological monoids on sets, where the latter are viewed as discrete spaces. Finally, we refine this characterization into necessary and sufficient conditions for a supercompactly generated topos to be equivalent to a topos of this form.openInformatica e matematica del calcoloRogers, Morga