Quantum Observables Algebras and Abstract Differential Geometry: The   Topos-Theoretic Dynamics of Diagrams of Commutative Algebraic Localizations
  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 arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), a la Mallios, in a topos-theoretic environment, and hence, the extension of the "mechanism of differentials" in the quantum regime. The process of gluing information, within diagrams of commutative algebraic localizations, generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection. 
Elias Zafiris